Gesamtpreis (1 Artikel Artikel):
Versandziel:
olderog (63 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (63)
- 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 (45)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (6)
- Gut oder Befriedigend (8)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (4)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (24)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Programmverifikation : sequentielle, parallele und verteilte Programme. Springer-Lehrbuch
Sprache: Deutsch
Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10: 3540574794 ISBN 13: 9783540574798
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover-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.
-
Nets, Terms and Formulas. Three Views of Concurrent Processes and their Relationship. [Cambridge Tracts in Theoretical Computer Science, Vol. 23].
Sprache: Englisch
Verlag: Cambridge University Press, 2008
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
Softcover/Paperback. Zustand: Sehr gut. Revised ed. 280 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 505.
-
Verification of Sequential and Concurrent Programs
Buch 14 von 16: Monographs in Computer ScienceAnbieter: 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.
-
Real-Time Systems: Formal Specification and Automatic Verification
Sprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
SonderangebotEUR 26,91
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Verification of Sequential and Concurrent Programs
Buch 14 von 16: Monographs in Computer ScienceSprache: Englisch
Verlag: Springer-Verlag, New York, 1991
ISBN 10: 0387975322 ISBN 13: 9780387975320
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA
Verbandsmitglied: ABAA CBA ILAB
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. New York: Springer-Verlag, 1991. xvi, 441 pp. 24.5 x 16 cm. Paper covered boards printed in silver with red and black lettering to covers and spine. Very light bumps to spine ends, with some light rubbing to corners of covers. Some light smudges to edges of text block. Interior is clean and unmarked. Binding firm. . Hard Cover. Very Good.
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Band 23)
Buch 8 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press 03.10.1991., 1991
ISBN 10: 0521400449 ISBN 13: 9780521400442
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. 278 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 24,8 x 17,2 x 2,0 cm, Gebundene Ausgabe.
-
Faktoren des Markterfolges im Online-Handel. Gabler Edition Wissenschaft.
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Gut. 407 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Einbandkanten sind etwas bestoßen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 550.
-
Real-Time Systems
Sprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 48,95
EUR 7,52 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xvi + 320 Illus.
-
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Verification of Sequential and Concurrent Programs
Buch 14 von 16: Monographs in Computer ScienceAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,01
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Gastro-Management
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 34,03
EUR 4,81 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 6 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Real-Time Systems: Formal Specification And Automatic Verification
Sprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
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.
-
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science, 1710)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... (Lecture Notes in Computer Science, 2469)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Buch 8 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 2005
ISBN 10: 0521018455 ISBN 13: 9780521018456
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,07
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science)
Buch 8 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521400449 ISBN 13: 9780521400442
Anbieter: Labyrinth Books, Princeton, NJ, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 72,17
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship: 23 (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Buch 8 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 2005
ISBN 10: 0521018455 ISBN 13: 9780521018456
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 280 pages, Illustrations. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 15. Weight in Grams: 450. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland.
-
Strategien für den Lernerfolg berufstätiger Studierender: Empirische Analysen zum Lernverhalten (AKAD University Edition) (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 34,13
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In German.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2002
ISBN 10: 3540441654 ISBN 13: 9783540441656
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Buch 14 von 16: Monographs in Computer ScienceAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,31
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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 37,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Correct System Design : Recent Insights and Advances
Sprache: Englisch
Verlag: Springer, Springer Spektrum, 1999
ISBN 10: 3540666249 ISBN 13: 9783540666240
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application.
-
Real-Time Systems: Formal Specification and Automatic Verification
Sprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 106,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Sprache: Englisch
Verlag: Springer, Springer Spektrum, 2002
ISBN 10: 3540441654 ISBN 13: 9783540441656
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, and 1926 in the LNCS series by Springer-Verlag. This year the sym- sium was co-sponsored by IFIP Working Group 2.2 on Formal Description of Programming Concepts. The symposium presented advances in the development and use of formal techniques in the design of real-time, hybrid, fault-tolerant embedded systems, covering all stages from requirements analysis to hardware and/or software - plementation. Particular emphasis was placed on UML-based development of real-time systems. Through invited presentations, links between the dependable systems and formal methods research communities were strengthened. With the increasing use of such formal techniques in industrial settings, the conference aimed at stimulating cross-fertilization between challenges in industrial usages of formal methods and advanced research. Inresponsetothecallforpapers,39submissionswerereceived.Eachsubm- sion was reviewed by four program committee members assisted by additional referees. At the end of the reviewing process, the program committee accepted 17 papers for presentation at the symposium.
-
Strategien Für Den Lernerfolg Berufstätiger Studierender: Empirische Analysen Zum Lernverhalten
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 41,90
EUR 11,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 159 pages. German language. 8.27x5.83x0.37 inches. In Stock.
-
Taschenbuch. Zustand: Neu. Correct System Design | Recent Insights and Advances | Ernst-Rüdiger Olderog (u. a.) | Taschenbuch | xiv | Englisch | 1999 | Springer | EAN 9783540666240 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Formal Techniques in Real-Time and Fault-Tolerant Systems | 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings | Werner Damm (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540441656 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Sprache: Englisch
Verlag: Springer International Publishing, 2021
ISBN 10: 303091383X ISBN 13: 9783030913830
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues.His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.
