9780387944593 - temporal verification of reactive systems: safety von manna, zohar; pnueli, amir (19 Ergebnisse)

ISBN

Optimieren Sie Ihre Suche

  • Bücher (19)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

  • Weitere Bilder

    Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: Bookbot, Prague, TschechienBookbot

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Sehr gut

    EUR 8,69

    EUR 20,99 Versand 
    Versand von Tschechien nach USA

    Anzahl: 1 verfügbar

    Hardcover. Zustand: Fine. Abnutzung / Risse - leicht.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: HPB-Red, Dallas, TX, USAHPB-Red

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Befriedigend

    EUR 31,60

    EUR 3,29 Versand 
    Versand innerhalb von USA

    Anzahl: 1 verfügbar

    hardcover. 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.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Befriedigend

    EUR 33,98

    EUR 15,76 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 1 verfügbar

    Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9780387944593.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 76,15

     Versand nach gratis 
    Versand innerhalb von USA

    Anzahl: 1 verfügbar

    Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: Basi6 International, Irving, TX, USABasi6 International

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 76,15

     Versand nach gratis 
    Versand innerhalb von USA

    Anzahl: 1 verfügbar

    Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 89,34

    EUR 6,10 Versand 
    Versand innerhalb von USA

    Anzahl: 1 verfügbar

    hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: Books Puddle, New York, NY, USABooks Puddle

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht

    EUR 99,35

    EUR 3,50 Versand 
    Versand innerhalb von USA

    Anzahl: 1 verfügbar

    Zustand: Used. pp. 536.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht

    EUR 98,91

    EUR 7,53 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 1 verfügbar

    Zustand: Used. pp. 536 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht

    EUR 99,39

    EUR 9,95 Versand 
    Versand von Deutschland nach USA

    Anzahl: 1 verfügbar

    Zustand: Used. pp. 536.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Wie neu

    EUR 125,28

    EUR 2,32 Versand 
    Versand innerhalb von USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: As New. Unread book in perfect condition.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 115,62

    EUR 13,88 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. In.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 130,88

    EUR 2,32 Versand 
    Versand innerhalb von USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 115,61

    EUR 17,38 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New.

  • Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Wie neu

    EUR 128,88

    EUR 17,38 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: As New. Unread book in perfect condition.

  • Sprache: Englisch

    Verlag: Springer New York, Springer US 1995

    0387944591 / 9780387944593

    • Hardcover

    Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 116,27

    EUR 65,96 Versand 
    Versand von Deutschland nach USA

    Anzahl: 1 verfügbar

    Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes

  • Sprache: Englisch

    Verlag: Springer New York Aug 1995 1995

    0387944591 / 9780387944593

    • Hardcover
    • Print-on-Demand

    Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 106,99

    EUR 23,00 Versand 
    Versand von Deutschland nach USA

    Anzahl: 2 verfügbar

    Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includ

  • Sprache: Englisch

    Verlag: Springer New York 1995

    0387944591 / 9780387944593

    • Hardcover
    • Print-on-Demand

    Anbieter: moluna, Greven, Deutschlandmoluna

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 92,27

    EUR 48,99 Versand 
    Versand von Deutschland nach USA

    Anzahl: Mehr als 20 verfügbar

    Gebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The f

  • Weitere Bilder

    Sprache: Englisch

    Verlag: Springer 1995

    0387944591 / 9780387944593

    • Hardcover
    • Print-on-Demand

    Anbieter: preigu, Osnabrück, Deutschlandpreigu

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 95,70

    EUR 70,00 Versand 
    Versand von Deutschland nach USA

    Anzahl: 5 verfügbar

    Buch. Zustand: Neu. Temporal Verification of Reactive Systems | Safety | Zohar Manna (u. a.) | Buch | xviii | Englisch | 1995 | Springer | EAN 9780387944593 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.

  • Sprache: Englisch

    Verlag: Springer New York, Springer US Aug 1995 1995

    0387944591 / 9780387944593

    • Hardcover
    • Print-on-Demand

    Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 106,99

    EUR 60,00 Versand 
    Versand von Deutschland nach USA

    Anzahl: 1 verfügbar

    Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes m