Fai clic su di un'immagine per andare a Google Ricerca Libri.
Sto caricando le informazioni... Modal and Temporal Properties of Processes (Texts in Computer Science)di Colin P. Stirling
Nessuno Sto caricando le informazioni...
Iscriviti per consentire a LibraryThing di scoprire se ti piacerà questo libro. Attualmente non vi sono conversazioni su questo libro. Nessuna recensione nessuna recensione | aggiungi una recensione
Appartiene alle Serie
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. Non sono state trovate descrizioni di biblioteche |
Discussioni correntiNessuno
Google Books — Sto caricando le informazioni... GeneriSistema Decimale Melvil (DDC)004.35Information Computer Science; Knowledge and Systems Computer science Modes Of Processing Parallel computingClassificazione LCVotoMedia: Nessun voto.Sei tu?Diventa un autore di LibraryThing. |