L petrucci (9 Ergebnisse)
- Softcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 18,66
EUR 4,80 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 21,06
EUR 11,53 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 146 pages. 9.00x6.00x0.33 inches. In Stock.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 18,47
EUR 13,81 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: FIRENZELIBRI SRL, Reggello, FI, ItalienFIRENZELIBRI SRL
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 5,00
EUR 18,00 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
Zustand: BUONO. cm.16x24, pp.48, num.figg.bn.nt. brossura con cop.fig. Centro Libero Andreotti , Pescia.
- Softcover
Anbieter: Libreria Oreste Gozzini snc, Firenze, FI, ItalienLibreria Oreste Gozzini snc
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 6,00
EUR 38,00 VersandVersand von Italien nach USAAnzahl: 2 verfügbar
Firenze, Il Fauno Editore, 1974, in-8, br. editoriale, sovraccoperta, pp. 169, [7]. Invio autografo dell'autore.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 151,56
EUR 13,81 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 151,56
EUR 13,81 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 156,28
EUR 61,62 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.This book provides a basic introd…uction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
Weitere BilderVerlag: Roma: Ente Librario Italiano, 1945 1945
- Hardcover
- Erstausgabe
Anbieter: °ART...on paper - 20th Century Art Books, Lugano, , Schweiz°ART...on paper - 20th Century Art Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 250,24
EUR 25,00 VersandVersand von Schweiz nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. 1st Edition. Gr.4° - 576pp - Color, Dual-tone & B/w illustrations by L. Pellegrino (1905) Italian painter. Il Decamerone by Giovanni Boccaccio (1313-1375) Italian writer, poet, correspondent of Petrarch, and an important Renaissance humanist. Special edition, limited to 500 numbered copies (our's N…° 93), text in Italian language. Original cloth. A page with a tear otherwise in Very good condition.
