[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Formal Verification of Object-Oriented Software

Language EnglishEnglish
Book Paperback
Book Formal Verification of Object-Oriented Software Bernhard Beckert
Libristo code: 01661642
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2012
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Full description
? points 146 b
61.97 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Geolocation Techniques Camillo Gentile / Hardback
common.buy 242.55 €
Fidus Dirk Erkelenz / Paperback
common.buy 21.41 €
Five Tales for the Theatre Carlo Gazzi / Hardback
common.buy 145.78 €
Vom Weg der Liebe Eugen Drewermann / Hardback
common.buy 26.65 €
Rethinking Invasion Ecologies from the Environmental Humanities Jodi Frawley & Iain McCalman / Paperback
common.buy 80.16 €
de la Iberte de la Presse Illimitee De Lasteyrie-C-P / Paperback
common.buy 21.83 €
Abrege de la Vie Politique Et Guerriere Du Prince Vahan Le Mamigonien, Heros d'Armenie Krikor Garabedian Khabaradji / Paperback
common.buy 16.15 €
Evaluacion de un prototipo semimontado para siembra directa Ricardo Raúl Mattana / Paperback
common.buy 49.98 €
Feminist Economics and Public Policy / Hardback
common.buy 209.15 €

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 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 sharp. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area.

About the book

Full name Formal Verification of Object-Oriented Software
Author Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 251
EAN 9783642317613
ISBN 3642317618
Libristo code 01661642
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 409
Dimensions 155 x 235 x 15

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account