Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 354068235X ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 7,08 €, größter Preis: 93,08 €, Mittelwert: 59,27 €
FM 2008: Formal Methods: 15th International Symposium on Formal Methods Turku, Finland, May 2008 Proceedings: 15th International Symposium on Formal ... 2008 (Lecture Notes in Computer Science) - Jorge Cuellar
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jorge Cuellar:
FM 2008: Formal Methods: 15th International Symposium on Formal Methods Turku, Finland, May 2008 Proceedings: 15th International Symposium on Formal ... 2008 (Lecture Notes in Computer Science) - Taschenbuch

2008, ISBN: 354068235X

[SR: 7556617], Paperback, [EAN: 9783540682356], Springer, Springer, Book, [PU: Springer], 2008-06-23, Springer, This volume contains the proceedings of Formal Methods 2008, the 15th Inter- ? nationalSymposiumonFo...., 268305, Information Management, 268290, Management, 68, Business, Finance & Law, 1025612, Subjects, 266239, Books, 269656, Architecture & Microprocessors, 269265, Computer Science, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269709, Algorithms, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269795, Compilers, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159961, Functional Programming, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159951, Software Architecture, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269818, UML, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books

Neues Buch Amazon.co.uk
Amazon US
, Neuware Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 24 hours (EUR 4.80)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
FM 2008: Formal Methods - Jorge Cuellar
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jorge Cuellar:
FM 2008: Formal Methods - Taschenbuch

2008, ISBN: 9783540682356

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 238x157x28 mm, 436, [GW: 672g], Banküberweisung, PayPal

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 - Cuellar, Jorge (Herausgeber); Maibaum, Tom (Herausgeber); Sere, Kaisa (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Cuellar, Jorge (Herausgeber); Maibaum, Tom (Herausgeber); Sere, Kaisa (Herausgeber):
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 - neues Buch

2008, ISBN: 354068235X

ID: A5858907

Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, UML (EDV), COMPUTERS / Logic Design, COMPUTERS / Programming Languages / General, COMPUTERS / Software Development & Engineering / General, Betriebssysteme, Compiler und Übersetzer, Programmier- und Skriptsprachen, allgemein, Rechnerarchitektur und Logik-Entwurf, Wartung und Reparaturen, IT, Algorithmen und Datenstrukturen, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH; Springer Berlin]

Neues Buch Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) - Cuellar, Jorge [Editor]; Maibaum, Tom [Editor];
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Cuellar, Jorge [Editor]; Maibaum, Tom [Editor];:
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) - Taschenbuch

2008, ISBN: 9783540682356

ID: 794111949

Springer, 2008-05-08. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2008-05-08

gebrauchtes bzw. antiquarisches Buch Biblio.com
GuthrieBooks
Versandkosten: EUR 76.45
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
FM 2008: Formal Methods - Jorge Cuellar; Tom Maibaum
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jorge Cuellar; Tom Maibaum:
FM 2008: Formal Methods - Taschenbuch

2008, ISBN: 9783540682356

ID: 9279765

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, 2008, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
FM 2008: Formal Methods
Autor:
Titel:
ISBN-Nummer:

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

Detailangaben zum Buch - FM 2008: Formal Methods


EAN (ISBN-13): 9783540682356
ISBN (ISBN-10): 354068235X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer-Verlag GmbH
436 Seiten
Gewicht: 0,672 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 11.06.2008 13:35:52
Buch zuletzt gefunden am 17.11.2017 16:56:09
ISBN/EAN: 354068235X

ISBN - alternative Schreibweisen:
3-540-68235-X, 978-3-540-68235-6


< zum Archiv...
Benachbarte Bücher