9780387987170 - modal and temporal properties of processes (texts in computer science) von stirling, colin (3 Ergebnisse)
- Weitere Bilder
Sprache: Englisch
Verlag: Springer Verlag, 2001
- Hardcover
- Erstausgabe
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 15,00
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
23,5 x 17,5 cm. Zustand: Gut. 1. Auflage. XII, 190 Seiten Mit 45 Abbildungen. - Innen sehr sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Sehr gutes Bibliotheksexemplar. - Texts in Computer Science. B06-03-06C|A40 Sprache: Englisc…h Gewicht in Gramm: 550.
Sprache: Englisch
Verlag: Springer, 2001
- Hardcover
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes KönigreichPhatpocket Limited
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 30,82
EUR 12,46 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
- Weitere Bilder
Sprache: Englisch
Verlag: Springer, 2001
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,77 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical mate…rial 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 in all areas of computer science and software programming.
