Practical Formal Methods in Software Engineering - Mills, Bruce Ian
60,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in über 4 Wochen
  • Broschiertes Buch

A textbook with a practical bent, for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software.

Andere Kunden interessierten sich auch für
Produktbeschreibung
A textbook with a practical bent, for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Bruce Mills holds a Ph.D. in computer science and mathematics from the University of Western Australia, Perth. He has twenty years of experience in the industrial electronics and software fields, and as a lecturer in his native country, Wales, and the Middle East. Dr Mills is the author of Theoretical Introduction to Programming (2010).