Concise guide to formal methods
theory, fundamentals and industry applications ; Undergraduate topics in computer science
Autor*in: O'Regan, Gerard
Reihe: Undergraduate topics in computer science
Jahr: 2017
Sprache: Englisch
Umfang: 322 S.
Verfügbar
- Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as Concise Guide to Software Engineering, Guide to Discrete Mathematics, Introduction to the History of Computing, Pillars of Computing, Introduction to Software Quality, Giants of Computing, and Mathematics in Computing.
Titelinformationen
Titel: Concise guide to formal methods
Reihe: Undergraduate topics in computer science
Autor*in: O'Regan, Gerard
Verlag: Springer International Publishing
ISBN: 9783319640211
Kategorie: Sachmedien & Ratgeber, Wissenschaft & Technik, Informatik
Dateigröße: 5 MB
Format: PDF
Max. Ausleihdauer: 21 Tage