Auf ein Miniaturbild klicken, um zu Google Books zu gelangen.
Lädt ... An Introduction to Practical Formal Methods Using Temporal Logicvon Michael Fisher
Keine Lädt ...
Melde dich bei LibraryThing an um herauszufinden, ob du dieses Buch mögen würdest. Keine aktuelle Diskussion zu diesem Buch. Keine Rezensionen keine Rezensionen | Rezension hinzufügen
The name ""temporal logic"" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems. Fisher begins with a full introduction to the subject Keine Bibliotheksbeschreibungen gefunden. |
Aktuelle DiskussionenKeine
Google Books — Lädt ... GenresMelvil Decimal System (DDC)005.131Information Computer Science; Knowledge and Systems Computer programming, programs, data, security Programming Languages Formal Specification; Mathematical LanguagesKlassifikation der Library of Congress [LCC] (USA)BewertungDurchschnitt: Keine Bewertungen.Bist das du?Werde ein LibraryThing-Autor. |