- 5 Ergebnisse
Kleinster Preis: € 12,75, größter Preis: € 88,97, Mittelwert: € 55,82
1
FM 2011: Formal Methods / 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings / Michael Butler (u. a.) / Taschenbuch / Lecture Notes in Computer Science - Butler, Michael
Bestellen
bei booklooker.de
€ 46,90
Bestellen
Details und Versand
gesponserter Link
Butler, Michael:

FM 2011: Formal Methods / 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings / Michael Butler (u. a.) / Taschenbuch / Lecture Notes in Computer Science - Taschenbuch

2011, ISBN: 9783642214363

[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June… Mehr…

Versandkosten:Zzgl. Versandkosten., zzgl. Versandkosten Buchbär
zuklappen (X)
2
FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings Michael Butler (u. a.) Taschenbuch Lecture Notes in Computer Science - Butler, Michael
Bestellen
bei booklooker.de
€ 44,90
Bestellen
Details und Versand
gesponserter Link

Butler, Michael:

FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings Michael Butler (u. a.) Taschenbuch Lecture Notes in Computer Science - Taschenbuch

2011, ISBN: 9783642214363

[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June… Mehr…

Versandkosten:Zzgl. Versandkosten., zzgl. Versandkosten preigu
zuklappen (X)
3
FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Butler, Michael (Herausgeber); Schulte, Wolfram (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 88,97
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Butler, Michael (Herausgeber); Schulte, Wolfram (Herausgeber):
FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - neues Buch

2011

ISBN: 3642214363

Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Computer / PC-Hardware / Aufrüsten, Reparieren, Selbstbau, Compiler, Übersetzer (EDV),… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Bestellen
bei Biblio.co.uk
$ 13,16
(ca. € 12,75)
Versand: € 19,381
Bestellen
Details beim Anbieter
gesponserter Link
Michael Butler (Editor), Wolfram Schulte (Editor):
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) - Taschenbuch

2011, ISBN: 9783642214363

Springer, 2011-08-04. 2011. Paperback. Used:Good., Springer, 2011-08-04, 0

Versandkosten: EUR 19.38 Ergodebooks
zuklappen (X)
5
FM 2011: Formal Methods - Michael Butler; Wolfram Schulte
Bestellen
bei lehmanns.de
€ 85,59
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Michael Butler; Wolfram Schulte:
FM 2011: Formal Methods - Taschenbuch

2011, ISBN: 9783642214363

17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2011

Versandkosten:sofort lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

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

9783642214363


This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

Detailangaben zum Buch - FM 2011: Formal Methods


EAN (ISBN-13): 9783642214363
ISBN (ISBN-10): 3642214363
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2011
Herausgeber: Springer Berlin
450 Seiten
Gewicht: 0,734 kg
Sprache: Englisch

Buch in der Datenbank seit 2007-03-14T18:12:37+01:00 (Berlin)
Detailseite zuletzt geändert am 2022-12-12T20:34:32+01:00 (Berlin)
ISBN/EAN: 9783642214363

ISBN - alternative Schreibweisen:
3-642-21436-3, 978-3-642-21436-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: butler, michael schulte, michael wolf, bütler, wolfram, michael schultes
Titel des Buches: international proceedings, ireland, lecture notes engineering, limerick, symposium, 2011, lecture notes computer science, butler book

Daten vom Verlag:

Autor/in: Michael Butler; Wolfram Schulte
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Verlag: Springer; Springer Berlin
450 Seiten
Erscheinungsjahr: 2011-06-16
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIV, 450 p. 110 illus., 27 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Z specification language; formal software testing; formal verification; model-based systems design; safety-critical systems; satisfiability; systems validation; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Programming Techniques; Formal Languages and Automata Theory; IT Operations; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Wirtschaftsmathematik und -informatik, IT-Management; EA

The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
Fast track conference proceedings State of the art research Up-to-date results

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783642214370 FM 2011: Formal Methods (Michael Butler; Wolfram Schulte)

< zum Archiv...