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
[2683942]
•
Literatura piękna
[1633963]
więcej...
•
Turystyka
[63606]
•
Informatyka
[142538]
•
Komiksy
[32051]
•
Encyklopedie
[21625]
•
Dziecięca
[513474]
•
Hobby
[108575]
•
AudioBooki
[2047]
•
Literatura faktu
[198581]
•
Muzyka CD
[672]
•
Słowniki
[2768]
•
Inne
[404142]
•
Kalendarze
[1848]
•
Podręczniki
[165261]
•
Poradniki
[410274]
•
Religia
[456028]
•
Czasopisma
[396]
•
Sport
[59722]
•
Sztuka
[227679]
•
CD, DVD, Video
[3891]
•
Technologie
[205420]
•
Zdrowie
[89042]
•
Książkowe Klimaty
[125]
•
Zabawki
[2960]
•
Puzzle, gry
[3429]
•
Literatura w języku ukraińskim
[263]
•
Art. papiernicze i szkolne
[10025]
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:
194,08
zł
The Accelerating Pace of Change to our Troubled World
Andrews, Derek
cena:
158,98
zł
Czytaj nas na:
