Formal Methods in Computer Science - Textbooks in Mathematics - Jiacun Wang - Książki - Taylor & Francis Ltd - 9780367225704 - 25 czerwca 2019
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Formal Methods in Computer Science - Textbooks in Mathematics 1. wydanie

Jiacun Wang

Cena
zł 927,90

Zamówione z odległego magazynu

Przewidywana dostawa 9 - 18 gru
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

Formal Methods in Computer Science - Textbooks in Mathematics 1. wydanie

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.


294 pages, 29 Tables, black and white; 154 Illustrations, black and white

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 25 czerwca 2019
ISBN13 9780367225704
Wydawcy Taylor & Francis Ltd
Strony 294
Wymiary 566 g
Język English  

Pokaż wszystko

Więcej od Jiacun Wang