Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Książki - Springer London Ltd - 9781848827448 - 5 października 2009
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Krzysztof R. Apt
Verification of Sequential and Concurrent Programs - Texts in Computer Science 3rd ed. 2009, Corr. 3rd printing 2010 edition

Cena
zł 397,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 13 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

502 pages, 26 black & white illustrations, biography

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 5 października 2009
ISBN13 9781848827448
Wydawcy Springer London Ltd
Strony 502
Wymiary 167 × 237 × 32 mm   ·   911 g
Język Angielski  
Współpracownik Amir Pnueli

Więcej od Krzysztof R. Apt

Pokaż wszystko

Zobacz wszystko od Krzysztof R. Apt ( np. Hardcover Book i Paperback Book )