Gesamtpreis (1 Artikel Artikel):
Versandziel:
apt krzysztof r olderog ernst rüdiger (35 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (35)
- 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 (18)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (7)
- Gut oder Befriedigend (8)
- 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 (7)
- Keine Print-on-Demand Angebote (30)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
EUR 5,57
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Programmverifikation : Sequentielle, parallele und verteilte Programme
Verlag: Springer Berlin Heidelberg, 1994
ISBN 10: 3540574794 ISBN 13: 9783540574798
Sprache: Deutsch
EUR 5,78
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 4 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 272 | Sprache: Deutsch | Produktart: Bücher.
-
Programmverifikation : Sequentielle, parallele und verteilte Programme
Verlag: Springer Berlin Heidelberg, 1994
ISBN 10: 3540574794 ISBN 13: 9783540574798
Sprache: Deutsch
EUR 5,78
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 4 verfügbar
In den WarenkorbZustand: Gut. Zustand: Gut | Seiten: 272 | Sprache: Deutsch | Produktart: Bücher.
-
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 3,20 für den Versand innerhalb von/der DeutschlandAnzahl: 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 in Computer Science)
Anbieter: killarneybooks, Inagh, CLARE, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 25,50
Währung umrechnenEUR 3,50 für den Versand von Irland nach DeutschlandAnzahl: 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.
-
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 36,57
Währung umrechnenEUR 5,69 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
EUR 36,33
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
-
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 33,97
Währung umrechnenEUR 6,80 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (German Edition)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 43,81
Währung umrechnenEUR 8,51 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 30,01
Währung umrechnenEUR 22,12 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. 3rd ed. 2009, Corr. 3rd printing. Hardcover book with no markings in good condition.Good clean pages-minor wear.Good clean cover.
-
Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (German Edition)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,36
Währung umrechnenEUR 11,43 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 270 pages. German language. 9.21x5.91x0.79 inches. In Stock.
-
Verification of Sequential and Concurrent Programs
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 53,71
Währung umrechnenEUR 5,69 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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,54
Währung umrechnenEUR 63,80 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
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,44
Währung umrechnenEUR 5,69 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 83,59
Währung umrechnenEUR 28,58 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
-
Verification of Sequential and Concurrent Programs
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 103,85
Währung umrechnenEUR 17,00 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
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 114,94
Währung umrechnenEUR 5,69 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 115,65
Währung umrechnenEUR 8,51 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
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,73
Währung umrechnenEUR 96,97 für den Versand von USA nach DeutschlandAnzahl: 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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,93
Währung umrechnenEUR 17,15 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 105,62
Währung umrechnenEUR 28,58 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. Good. book.
-
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,30
Währung umrechnenEUR 63,80 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verification of sequential and concurrent programs
Anbieter: Moby Dick, Noordwijk, Niederlande
Verkäuferbewertung 4 von 5 Sternen
EUR 32,00
Währung umrechnenEUR 10,00 für den Versand von Niederlande nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbSpringer 1991 cloth, 441 pp. ISBN (3540975322) (code Sc-60).
-
Verification of Sequential and Concurrent Programs
Verlag: Springer-Verlag New York Inc, 2009
ISBN 10: 184882744X ISBN 13: 9781848827448
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 156,23
Währung umrechnenEUR 11,43 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 3rd edition. 502 pages. 9.50x6.50x1.25 inches. In Stock.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 102,67
Währung umrechnenEUR 63,80 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 140,11
Währung umrechnenEUR 28,58 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Verification of Sequential and Concurrent Programs
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 176,60
Währung umrechnenEUR 17,15 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 167,19
Währung umrechnenEUR 28,58 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
-
Verification of Sequential and Concurrent Programs
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 199,39
Währung umrechnenEUR 17,00 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Programmverifikation
Verlag: Springer Berlin Heidelberg, 1994
ISBN 10: 3540574794 ISBN 13: 9783540574798
Sprache: Deutsch
EUR 29,95
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Einfuehrung.- 1.1 Beispiel eines parallelen Programmes.- Loesung 1.- Loesung 2.- Loesung 3.- Loesung 4.- Loesung 5.- Loesung 6.- 1.2 Programmkorrektheit.- 1.3 Struktur dieses Buches.- 2 Vorbereitungen.- 2.1 Syntax.- 2.2 Getypte Ausdruecke.- Typen.- Variablen.- Ko.
