2011, ISBN: 3642180698
[EAN: 9783642180699], Neubuch, [PU: Springer Berlin Heidelberg], PROGRAMMIERSPRACHEN EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING COMPUTER PC-HARDWARE AUFRÜSTEN, REPARIEREN, SELBSTBAU … Mehr…
| AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2010, ISBN: 9783642180699
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Veri… Mehr…
| BookDepository.com Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - gebrauchtes Buch
2011, ISBN: 9783642180699
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen 10126970/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, Banküberweisung, Kreditkarte, PayPal, Klarna… Mehr…
| booklooker.de |
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - gebrauchtes Buch
2011, ISBN: 9783642180699
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen 10126970/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, PayPal, Klarna-Sofortüberweisung, Internatio… Mehr…
| booklooker.de |
2011, ISBN: 3642180698
[EAN: 9783642180699], Neubuch, [SC: 5.83], [PU: Springer Berlin Heidelberg 2011-01-14, Berlin], Language: ENG, Books
| ZVAB.com Blackwell's, Oxford, OX, United Kingdom [8052444] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 5.83 Details... |
2011, ISBN: 3642180698
[EAN: 9783642180699], Neubuch, [PU: Springer Berlin Heidelberg], PROGRAMMIERSPRACHEN EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING COMPUTER PC-HARDWARE AUFRÜSTEN, REPARIEREN, SELBSTBAU … Mehr…
2010, ISBN: 9783642180699
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Veri… Mehr…
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - gebrauchtes Buch
2011
ISBN: 9783642180699
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen 10126970/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, Banküberweisung, Kreditkarte, PayPal, Klarna… Mehr…
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - gebrauchtes Buch
2011, ISBN: 9783642180699
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen 10126970/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, PayPal, Klarna-Sofortüberweisung, Internatio… Mehr…
2011, ISBN: 3642180698
[EAN: 9783642180699], Neubuch, [SC: 5.83], [PU: Springer Berlin Heidelberg 2011-01-14, Berlin], Language: ENG, Books
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Formal Verification of Object-Oriented Software
EAN (ISBN-13): 9783642180699
ISBN (ISBN-10): 3642180698
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2011
Herausgeber: Springer Berlin
197 Seiten
Gewicht: 0,331 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-07-12T15:08:49+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-12-04T13:55:51+01:00 (Berlin)
ISBN/EAN: 9783642180699
ISBN - alternative Schreibweisen:
3-642-18069-8, 978-3-642-18069-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: with, beckert, march, bernhard beck, becker marc, marche claude, bernhard spring
Titel des Buches: object oriented object oriented, paris, engineering software, selected engineering papers
Daten vom Verlag:
Autor/in: Bernhard Beckert; Claude Marché
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Verlag: Springer; Springer Berlin
199 Seiten
Erscheinungsjahr: 2011-01-14
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 199 p. 45 illus., 1 illus. in color.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Java; ML; OCaml; SAT solvers; abstract interpretation; bytecode; dynamic logic; first-order logic; formal verification; microkernel; model generation; object orientation; object-oriented languages; parametric concurrency; program specification; program verification; refinement methodology; second-order functional arithmetic; software product lines; static analysis; super; timed models; trustworthy large systems; type inference; 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 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.
High quality selected papers Unique visibility State of the art research
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783642317620 Formal Verification of Object-Oriented Software (Bernhard Beckert; Ferruccio Damiani; Dilian Gurov)
- 9783642317620 Formal Verification of Object-Oriented Software (Bernhard Beckert; Ferruccio Damiani; Dilian Gurov)
- 9783642180705 Formal Verification of Object-Oriented Software (Bernhard Beckert; Claude Marché)
- 9783642317613 Formal Verification of Object-Oriented Software (Bernhard Beckert)
- 9783642180712 Formal Verification of Object-Oriented Software. International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers (BERNHARD BECKERT)
< zum Archiv...