Gesamtpreis (1 Artikel Artikel):
Versandziel:
stirling colin (19 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (19)
- 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 (10)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (6)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (2)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (9)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Great Drives In The Lakes And Dales
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 3,42
EUR 5,77 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
-
Stirling Moss : Great Drives in the Lakes and Dales
Anbieter: MusicMagpie, Stockport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 3,41
EUR 6,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. 1776693454. 4/20/2026 1:57:34 PM.
-
Great Drives In The Lakes And Dales
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 3,42
EUR 8,07 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
Modal and Temporal Properties of Processes
Buch 31 von 83: Texts in Computer ScienceAnbieter: avelibro OHG, Dinkelscherben, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
23,5 x 17,5 cm. Zustand: Gut. 1. Auflage. XII, 190 Seiten Mit 45 Abbildungen. - Innen sehr sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Sehr gutes Bibliotheksexemplar. - Texts in Computer Science. B06-03-06C|A40 Sprache: Englisch Gewicht in Gramm: 550.
-
Proof, Language, And Interaction
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.
-
Modal and Temporal Properties of Processes (Texts in Computer Science)
Buch 31 von 83: Texts in Computer ScienceAnbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Auflage: 2001. 191 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,6 x 17,9 x 1,3 cm, Gebundene Ausgabe.
-
Modal and Temporal Properties of Processes
Buch 31 von 83: Texts in Computer ScienceAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,38
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Modal and Temporal Properties of Processes (Texts in Computer Science)
Buch 31 von 83: Texts in Computer ScienceAnbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,87
EUR 12,30 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.
-
Modal and Temporal Properties of Processes (Texts in Computer Science)
Buch 31 von 83: Texts in Computer ScienceAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,47
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Proof, Language, and Interaction
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 80,20
EUR 7,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. xiv + 722 Illus.
-
EUR 37,04
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Colin Nicolson is Lecturer in History at the University of Stirling.Owen Dudley Edwards is an Irish historian and former Reader in Commonwealth and American History at the University of Edinburgh.Imaginary Friendship is .
-
Modal and Temporal Properties of Processes (Texts in Computer Science)
Buch 31 von 83: Texts in Computer ScienceAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,11
EUR 11,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2001 edition. 202 pages. 9.25x7.01x0.46 inches. In Stock.
-
Proof, Language, and Interaction
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. xiv + 722.
-
Imaginary Friendship in the American Revolution : John Adams and Jonathan Sewall
Buch 1 von 3: Perspectives on Early AmericaSprache: Englisch
Verlag: Taylor & Francis Ltd Sep 2020, 2020
ISBN 10: 0367664356 ISBN 13: 9780367664350
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - This book is a microhistory of how friendship operated in the American Revolution. It explores the friendship of two political adversaries whose careers coincided with and were shaped by the escalating imperial crisis of 1760-75: the Patriot and future US president John Adams and the prominent Loyalist Jonathan Sewall.
-
Modal and Temporal Properties of Processes
Buch 31 von 83: Texts in Computer ScienceAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: - process calculi for modeling concurrent systems- modal properties of systems and bisimulation equivalence presented in terms of games - temporal properties of systems- modal mu-calculus as a general purpose temporal logic- verification techniques for showing temporal properties of systems, including verification as a game; model checking in terms of game-theoretic algorithms; tablaux as unwindings of successful strategies; compositional verification, especially in the case of infinite systems.The use of games for both equivalence and model checking is conceptually clearer than other approaches and the book's well-thought-out structure and illuminating examples make this book well-suited for and advanced undergraduate or graduate level course in model checking or formal methods of verification.
-
Taschenbuch. Zustand: Neu. Modal and Temporal Properties of Processes | Colin Stirling | Taschenbuch | Texts in Computer Science | xii | Englisch | 2011 | Springer | EAN 9781441931535 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Modal and Temporal Properties of Processes
Buch 31 von 83: Texts in Computer ScienceSprache: Englisch
Verlag: Springer New York, Springer New York, 2001
ISBN 10: 0387987177 ISBN 13: 9780387987170
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: - process calculi for modeling concurrent systems- modal properties of systems and bisimulation equivalence presented in terms of games - temporal properties of systems- modal mu-calculus as a general purpose temporal logic- verification techniques for showing temporal properties of systems, including verification as a game; model checking in terms of game-theoretic algorithms; tablaux as unwindings of successful strategies; compositional verification, especially in the case of infinite systems.The use of games for both equivalence and model checking is conceptually clearer than other approaches and the book's well-thought-out structure and illuminating examples make this book well-suited for and advanced undergraduate or graduate level course in model checking or formal methods of verification.
-
Longman Companion to the First World War
Buch 8 von 16: Longman Companions To HistoryAnbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 311,54
EUR 9,13 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Series: Longman Companions to History (Hardcover). BIC Classification: HBG; HBWN. Category: (G) General (US: Trade). . . . Hardback. . . . . Books ship from the US and Ireland.
-
I Musei di James Stirling Michael Wilford and Associates
Verlag: Milano: Electa, 1990, 1990
Anbieter: °ART...on paper - 20th Century Art Books, Lugano, Schweiz
Verbandsmitglied: ILAB
Verkäuferbewertung 5 von 5 Sternen
Soft cover. Zustand: Very Good. 2nd Edition. 8° - 226pp - Color & B/w reproductions. James Stirling (1926-1992) British architect and Pritzker Laureate grew up in Liverpool, one of the two industrial powerhouses of the British North West. First Italian edition, text in Italian. Original boards. In Fine condition.
