Gesamtpreis (1 Artikel Artikel):
Versandziel:
pnueli (149 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (149)
- 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 (106)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (17)
- Gut oder Befriedigend (21)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (5)
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (62)
- Keine Print-on-Demand Angebote (96)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Two Approaches to Interprocedural Data Flow Analysis
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Two Approaches to Interprocedural Data Flow Analysis
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Two Approaches to Interprocedural Data Flow Analysis
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 18,03
EUR 14,09 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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!
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Very Good. Cover and edges may have some wear.
-
Fluid Mechanics
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Anbieter: Zoom Books Company, Lynden, WA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.
-
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!
-
Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1989
ISBN 10: 3540518037 ISBN 13: 9783540518037
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Fluid Mechanics
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Zustand: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.
-
The Temporal Logic of Reactive Systems Vol. 1 : Specification
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
The Temporal Logic of Reactive Systems Vol. 1 : Specification
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Fluid Mechanics
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Fluid Mechanics
Sprache: Englisch
Verlag: Cambridge University Press, 1992
ISBN 10: 052141704X ISBN 13: 9780521417044
Hard cover. Zustand: Very good. No jacket. Previous owner's name on inside front cover, some very occasional, light highlighting on no more than five pages, otherwise clean and unmarked. Spine lightly sunned.
-
Fluid Mechanics
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Anbieter: Textbooks_Source, Columbia, MO, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Good. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
Fluid Mechanics
Sprache: Englisch
Verlag: Cambridge University Press, 1992
ISBN 10: 052141704X ISBN 13: 9780521417044
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 32,78
EUR 12,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
Two Approaches to Interprocedural Data Flow Analysis
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 31,74
EUR 14,09 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: Good. Ex-library copy with stamps and stickers. The page edge is tanned. The copy shows minor external wear, but is in otherwise clean condition.
-
Fluid Mechanics
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Good.
-
Temporal logic in specification : proceedings, Altrincham, UK, April 8-10, 1987.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: very good. Berlin : Springer, 1989. Paperback. vi, 448 pp. Library stamp. (Lecture notes in computer science ; 398). - The "Temporal Logic in Specification" conference, held in Altrincham, UK, from April 8-10, 1987, focused on the use of temporal logic in the specification of systems. The conference brought together researchers working on formal methods, software engineering, and system design. Key discussions revolved around how temporal logic can be applied to describe dynamic aspects of systems, such as time constraints, state transitions, and behavioral requirements. Contributions explored both theoretical advancements and practical applications, from automated verification to system modeling. This work significantly influenced the development of formal specification techniques, particularly in the design of safety-critical systems and distributed systems, providing tools to model complex, time-dependent behaviors. Condition : very good copy. ISBN 9783540518037. Keywords : COMPUTER SCIENCE, temporal logic automated verification formal methods.
-
Fluid Mechanics
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good.
-
Fluid Mechanics
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
Temporal Verification of Reactive Systems - Safety
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,49
EUR 18,21 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers (Lecture Notes in Computer Science, 5947)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,52
EUR 14,09 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science, 288)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,52
EUR 14,09 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,52
EUR 14,09 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,52
EUR 14,09 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, Psi 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, Psi 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,51
EUR 17,64 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
