Gesamtpreis (1 Artikel Artikel):
Versandziel:
peter csaba ölveczky (58 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (58)
- 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 (55)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (58)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (30)
Sprache (1)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 40,43
Währung umrechnenEUR 24,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Auflage: 2012. 380 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,5 x 15,5 x 2,2 cm, Taschenbuch.
-
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
Verlag: Springer Verlag London, London, 2017
ISBN 10: 1447166868 ISBN 13: 9781447166863
Sprache: Englisch
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,83
Währung umrechnenEUR 10,92 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Paperback in very good condition. Cover corners and spine ends are slightly bumped. Covers are clean, binding is sound and content is as unread. LW. Used.
-
Formal Modeling and Analysis of Distributed Systems: An Introduction Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 63,08
Währung umrechnenEUR 7,47 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 250.
-
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers ... in Computer and Information Science, 694)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,16
Währung umrechnenEUR 13,77 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers ... in Computer and Information Science, 476)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,16
Währung umrechnenEUR 13,77 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,16
Währung umrechnenEUR 13,77 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science, 1008)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,16
Währung umrechnenEUR 13,77 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science, 419)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,16
Währung umrechnenEUR 13,77 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,16
Währung umrechnenEUR 13,77 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,16
Währung umrechnenEUR 13,77 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,16
Währung umrechnenEUR 13,77 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ... in Computer and Information Science, 596)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,16
Währung umrechnenEUR 13,77 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 72,23
Währung umrechnenEUR 13,77 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Aspects of Component Software
Verlag: Springer International Publishing, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Sprache: Englisch
EUR 48,37
Währung umrechnenEUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Techniques For Safety-critical Sy
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 94,66
Währung umrechnenEUR 9,04 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Formal Aspects Of Component Software
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 96,02
Währung umrechnenEUR 9,04 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Formal Techniques for Safety-critical Systems: 5th International Workshop, Ftscs 2016, Tokyo, Japan, November 14, 2016 - Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319539450 ISBN 13: 9783319539454
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,79
Währung umrechnenEUR 28,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 176 pages. 9.25x6.10x0.40 inches. In Stock.
-
Formal Techniques for Safety-critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 303012987X ISBN 13: 9783030129873
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,04
Währung umrechnenEUR 28,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 192 pages. 9.25x6.10x0.39 inches. In Stock.
-
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Communications in Computer and Information Science)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,23
Währung umrechnenEUR 28,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 268 pages. 9.00x6.00x0.75 inches. In Stock.
-
Formal Techniques for Safety-critical Systems: Fourth International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319295098 ISBN 13: 9783319295091
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,46
Währung umrechnenEUR 28,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 284 pages. 9.00x6.00x0.75 inches. In Stock.
-
Rewriting Logic and Its Applications: 8th International Workshop, Wrla 2010, Held As a Satellite Event of Etaps 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642163092 ISBN 13: 9783642163098
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,65
Währung umrechnenEUR 28,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 261 pages. 9.00x6.00x0.50 inches. In Stock.
-
Formal Techniques for Safety-critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2014
ISBN 10: 3319054155 ISBN 13: 9783319054155
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,87
Währung umrechnenEUR 28,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 292 pages. 9.00x6.00x0.75 inches. In Stock.
-
Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3030021459 ISBN 13: 9783030021450
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,93
Währung umrechnenEUR 28,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 312 pages. 9.25x6.10x0.71 inches. In Stock.
-
Formal Aspects of Component Software: 12th International Conference, Facs 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,39
Währung umrechnenEUR 28,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 344 pages. 9.25x6.10x0.78 inches. In Stock.
-
Formal Aspects of Component Software: 8th International Symposium, Facs 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,98
Währung umrechnenEUR 28,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 379 pages. 9.25x6.10x0.86 inches. In Stock.
-
Software Engineering and Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030304450 ISBN 13: 9783030304454
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 84,08
Währung umrechnenEUR 28,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 350 pages. 9.25x6.10x1.14 inches. In Stock.
-
Logic, Rewriting, and Concurrency: Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, Il, USA, September 23-25, 2015, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 84,15
Währung umrechnenEUR 28,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 648 pages. 9.30x6.20x1.46 inches. In Stock.
-
Rewriting Logic and Its Applications
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642163092 ISBN 13: 9783642163098
Sprache: Englisch
EUR 64,08
Währung umrechnenEUR 48,99 für den Versand von Deutschland nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: New. Invited Talks.- Rewriting, Inference, and Proof.- Twenty Years of Rewriting Logic.- Termination and Narrowing.- Proving Termination in the Context-Sensitive Dependency Pair Framework.- A Dependency Pair Framework for A???C-Termination.- Folding Variant Narr.
-
Software Engineering and Formal Methods
Verlag: Springer International Publishing, Springer Nature Switzerland Sep 2019, 2019
ISBN 10: 3030304450 ISBN 13: 9783030304454
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch.
-
Formal Techniques for Safety-Critical Systems
Verlag: Springer International Publishing, Springer International Publishing Feb 2019, 2019
ISBN 10: 303012987X ISBN 13: 9783030129873
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.
