Wyszukiwanie zaawansowane
Kategorie
Kategorie BISAC
Książki na zamówienie
Promocje
Granty
Książka na prezent
Opinie
Pomoc
Załóż konto
Zaloguj się
Derek Andrews - książki
zaloguj się
|
załóż konto
koszyk
konto
szukaj
topmenu
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
Wyszukiwanie zaawansowane
Pusty koszyk
Kategorie główne
•
Nauka
[2950560]
•
Literatura piękna
[1849509]
więcej...
•
Turystyka
[71097]
•
Informatyka
[151150]
•
Komiksy
[35848]
•
Encyklopedie
[23178]
•
Dziecięca
[617388]
•
Hobby
[139064]
•
AudioBooki
[1657]
•
Literatura faktu
[228597]
•
Muzyka CD
[383]
•
Słowniki
[2855]
•
Inne
[445295]
•
Kalendarze
[1464]
•
Podręczniki
[167547]
•
Poradniki
[480102]
•
Religia
[510749]
•
Czasopisma
[516]
•
Sport
[61293]
•
Sztuka
[243352]
•
CD, DVD, Video
[3414]
•
Technologie
[219456]
•
Zdrowie
[101002]
•
Książkowe Klimaty
[124]
•
Zabawki
[2311]
•
Puzzle, gry
[3459]
•
Literatura w języku ukraińskim
[254]
•
Art. papiernicze i szkolne
[8079]
Kategorie szczegółowe BISAC
Formal Methods in Standards: A Report from the BCS Working Group
Ruggles, Clive L. N.
3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2 A survey of formal methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1 FDTs and FSLs for sequential software . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1. 1 VDM (Vienna Development Method). . . . . . . . . . . . . . . . . . . . . 19 3. 2. 1. 2 Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. ...
cena:
201,24
The Accelerating Pace of Change to our Troubled World
Andrews, Derek
cena:
139,69
Czytaj nas na:
