Formal Methods in Computer Science - Textbooks in Mathematics - Jiacun Wang - Boeken - Taylor & Francis Ltd - 9780367225704 - 25 juni 2019
Indien omslag en titel niet overeenkomen, is de titel correct

Formal Methods in Computer Science - Textbooks in Mathematics 1e uitgave

Jiacun Wang

Prijs
€ 216,99

Besteld in een afgelegen magazijn

Verwachte levering 9 - 18 dec.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

Formal Methods in Computer Science - Textbooks in Mathematics 1e uitgave

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 25 juni 2019
ISBN13 9780367225704
Uitgevers Taylor & Francis Ltd
Pagina's 294
Afmetingen 566 g
Taal en grammatica Engels  

Alles tonen

Meer door Jiacun Wang