Gesamtpreis (1 Artikel Artikel):
Versandziel:
viswanathan mahesh (32 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (32)
- 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 (26)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- 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 (32)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (14)
- Keine Print-on-Demand Angebote (25)
Sprache (1)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Sonderangebot
EUR 5,80
EUR 22,50 für den Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2015. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2015. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture . / Programming and Software Engineering)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Ifrs Für Kleine Und Mittelgroße Unternehmen : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 54,10
EUR 2,28 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th ... (Programming and Software Engineering)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,91
EUR 3,44 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
-
-
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science, 5311)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,31
EUR 3,44 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science, 5311)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,30
EUR 13,57 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th ... (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,30
EUR 13,57 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th . (Lecture Notes in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 55,63
EUR 17,54 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 55,96
EUR 17,54 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Ifrs Für Kleine Und Mittelgroße Unternehmen : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,29
EUR 16,99 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
-
Automated Technology for Verification and Analysis: 6th International Symposium, Atva 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,22
EUR 14,16 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. illustrated edition edition. 444 pages. 9.00x6.00x1.00 inches. In Stock.
-
Ifrs Für Kleine Und Mittelgroße Unternehmen: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 3319191942 ISBN 13: 9783319191942
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,88
EUR 28,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2015 edition. 260 pages. 9.25x6.10x0.59 inches. In Stock.
-
Formal Techniques for Distributed Objects, Components, and Systems
Verlag: Springer International Publishing, Springer International Publishing Mai 2015, 2015
ISBN 10: 3319191942 ISBN 13: 9783319191942
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.
-
Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Verlag: Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 3319191942 ISBN 13: 9783319191942
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.
-
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.
-
Formal Techniques for Distributed Objects, Components, and Systems | 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Verlag: Springer International Publishing, 2015
ISBN 10: 3319191942 ISBN 13: 9783319191942
Sprache: Englisch
Taschenbuch. Zustand: Neu. Formal Techniques for Distributed Objects, Components, and Systems | 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings | Mahesh Viswanathan (u. a.) | Taschenbuch | xii | Englisch | 2015 | Springer International Publishing | EAN 9783319191942 | 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. Automated Technology for Verification and Analysis | 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings | Sungdeok Cha (u. a.) | Taschenbuch | xiv | Englisch | 2008 | Springer-Verlag GmbH | EAN 9783540883869 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Internationale AusgabeAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS 6TH INTERNATIONAL SYMPOSIUM ATVA 2008 SEOUL KOREA OCTOBER 20 23 2008 PROCEEDINGS (PB 2008)
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 134,80
EUR 4,52 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Ifrs Für Kleine Und Mittelgroße Unternehmen : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 132,96
EUR 16,99 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science (9039))
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 123,64
EUR 28,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Ifrs Für Kleine Und Mittelgroße Unternehmen : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 154,45
EUR 2,28 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Automated Technology for Verification and Analysis
Verlag: Springer Berlin Heidelberg Okt 2008, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers. 448 pp. Englisch.
-
Formal Techniques for Distributed Objects, Components, and Systems
Verlag: Springer International Publishing Mai 2015, 2015
ISBN 10: 3319191942 ISBN 13: 9783319191942
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods. 260 pp. Englisch.
-
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th . (Lecture Notes in Computer Science)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 78,81
EUR 7,36 für den Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 245.
-
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th . (Lecture Notes in Computer Science)
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 245.
-
Formal Techniques for Distributed Objects, Components, and Systems
Verlag: Springer International Publishing, 2015
ISBN 10: 3319191942 ISBN 13: 9783319191942
Sprache: Englisch
EUR 48,37
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conf.
