Gesamtpreis (1 Artikel Artikel):
Versandziel:
apt krzysztof olderog ernst rudiger (43 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (43)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (30)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (6)
- Gut oder Befriedigend (5)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (2)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (13)
- Keine Print-on-Demand Angebote (38)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Programmverifikation : sequentielle, parallele und verteilte Programme. Springer-Lehrbuch
Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10: 3540574794 ISBN 13: 9783540574798
Sprache: Deutsch
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 2,95
Währung umrechnenEUR 12,95 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover-Großformat. Zustand: Gut. XII, 258 S. Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 440.
-
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Verlag: Springer-Verlag New York, Incorporated (edition ), 1991
ISBN 10: 0387975322 ISBN 13: 9780387975320
Sprache: Englisch
EUR 34,06
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
-
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Verlag: Springer-Verlag New York, Incorp, 1991
ISBN 10: 0387975322 ISBN 13: 9780387975320
Sprache: Englisch
EUR 32,82
Währung umrechnenEUR 3,20 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
EUR 51,21
Währung umrechnenKostenlos für den Versand von Australien nach USAAnzahl: 1 verfügbar
In den WarenkorbBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: killarneybooks, Inagh, CLARE, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 25,50
Währung umrechnenEUR 31,70 für den Versand von Irland nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Near Fine. 3rd Edition. Hardcover, 3rd edition, xxiii + 502 pages, NOT ex-library. Shipping weight over 1kg. Signs of mild wear, book is clean and bright with unmarked text, free of inscriptions and stamps, firmly bound. Issued without a dust jacket. -- An in-depth exploration of the methodologies and techniques used for verifying the correctness of both sequential and concurrent programs. This comprehensive text delves into the theoretical foundations and practical applications of program verification. The book covers a range of topics, including formal methods, algorithmic analysis, and model checking, making it an essential resource for computer scientists, researchers, and students interested in ensuring software reliability and performance. With its detailed explanations and illustrative examples, the book equips readers with the knowledge needed to address complex verification challenges in modern computing systems.
-
Verification of Sequential and Concurrent Programs
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 52,13
Währung umrechnenEUR 13,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Programmverifikation : Sequentielle, Parallele Und Verteilte Programme -Language: german
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 39,85
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (German Edition)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 38,69
Währung umrechnenEUR 3,41 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 35,26
Währung umrechnenEUR 7,67 für den Versand innerhalb von/der USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (German Edition)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 43,97
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verification of Sequential and Concurrent Programs
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 84,39
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
EUR 78,84
Währung umrechnenEUR 7,67 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 84,62
Währung umrechnenEUR 3,41 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Programmverifikation : Sequentielle, Parallele Und Verteilte Programme -Language: german
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 44,42
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: Solr Books, Lincolnwood, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 87,95
Währung umrechnenEUR 6,81 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: new.
-
Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 35,59
Währung umrechnenEUR 13,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Verification of Sequential and Concurrent Programs
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 100,67
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Verification of Sequential and Concurrent Programs
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 101,81
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 96,25
Währung umrechnenEUR 7,67 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,74
Währung umrechnenEUR 13,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 103,06
Währung umrechnenEUR 3,41 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 116,09
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verification of Sequential and Concurrent Programs
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 121,85
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Verification of Sequential and Concurrent Programs
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 111,18
Währung umrechnenEUR 17,20 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 28,74
Währung umrechnenEUR 105,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
-
Verification of Sequential and Concurrent Programs
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 123,28
Währung umrechnenEUR 10,50 für den Versand von Irland nach USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: PBCD; UM; UYF. Category: (G) General (US: Trade). Dimension: 233 x 156 x 28. Weight in Grams: 746. . 2012. Softcover reprint of hardcover 3rd ed. 2009. Paperback. . . . .
-
Verification of Sequential and Concurrent Programs
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 127,24
Währung umrechnenEUR 17,20 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Verification of Sequential and Concurrent Programs
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 138,96
Währung umrechnenEUR 10,50 für den Versand von Irland nach USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Series: Texts in Computer Science. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: UMB. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 167 x 32. Weight in Grams: 922. . 2009. 3rd ed. 2009, Corr. 3rd printing 2010. Hardback. . . . .
-
Verification of Sequential and Concurrent Programs
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 152,80
Währung umrechnenEUR 8,97 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: PBCD; UM; UYF. Category: (G) General (US: Trade). Dimension: 233 x 156 x 28. Weight in Grams: 746. . 2012. Softcover reprint of hardcover 3rd ed. 2009. Paperback. . . . . Books ship from the US and Ireland.
-
Verification of Sequential and Concurrent Programs
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 173,29
Währung umrechnenEUR 8,97 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Series: Texts in Computer Science. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: UMB. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 167 x 32. Weight in Grams: 922. . 2009. 3rd ed. 2009, Corr. 3rd printing 2010. Hardback. . . . . Books ship from the US and Ireland.
