Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Książki - Springer London Ltd - 9781447125136 - 14 marca 2012
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 Softcover reprint of hardcover 3rd ed. 2009 edition

Cena
zł 321,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 14 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     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 14 marca 2012
ISBN13 9781447125136
Wydawcy Springer London Ltd
Strony 502
Wymiary 156 × 233 × 28 mm   ·   730 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 )