Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Verification of Object-Oriented Software

International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

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 115 b
17 313 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

SCHIRMER CLASSIC CHORUSES: HORN IN F PETHEL Book binding.
common.buy 3 238 Ft
Anne Sylvestre Daniel Pantchenko / Book Paperback
common.buy 12 252 Ft
L'espoli fiscal del país valencià Gimeno / Book Paperback
common.buy 6 684 Ft
Xogos populares en Pontevedra JOSE LOIS CASAL / Book Book
common.buy 6 110 Ft
Trockenhelden im Gemüsebeet Ortrud Grieb / Book Paperback
common.buy 6 171 Ft
Galicia, un mar con historia DUBERT / Book Paperback
common.buy 8 417 Ft
Johanniskraut: Das Heilkraut aus der Natur: Wirkung, Dosierung, Herstellung Tanja Eisenberg / Book Paperback
common.buy 3 551 Ft
Sieghardus, Der Hauptmann Der Beim Kreuze Stand William Schmidt / Book Paperback
common.buy 9 076 Ft
Du Commerce Et de Ses Travaux Publics En Angleterre Et En France, Discours Prononce Le 2 Juin 1823 Dupin-C / Book Paperback
common.buy 5 241 Ft
Juicio por jurado, cuestiones teóricas y prácticas : prueba, veredicto, sentencia, recursos Alberto Jorge . . . [et al. ] Barreiro / Book Paperback
common.buy 9 076 Ft
Act One/Waters Of Change Beggar's Opera / Audio Audio CD
common.buy 6 019 Ft
de la Iberte de la Presse Illimitee De Lasteyrie-C-P / Book Paperback
common.buy 6 129 Ft
Abrege de la Vie Politique Et Guerriere Du Prince Vahan Le Mamigonien, Heros d'Armenie Krikor Garabedian Khabaradji / Book Paperback
common.buy 4 771 Ft
Architecture Coloniale Portugaise A Goa SANTIAGO FARIA ALICE / Book Paperback
common.buy 25 274 Ft
Die Ukraine-Krise ist eine Krise Europas Jerzy Macków / Book Paperback
common.buy 3 912 Ft
Evaluacion de un prototipo semimontado para siembra directa Ricardo Raúl Mattana / Book Paperback
common.buy 12 993 Ft
Klimaschutzpolitik zwischen Ökonomie und Ökologie Jessica Hövelborn / Book Paperback
common.buy 14 241 Ft
Vom Weg der Liebe Eugen Drewermann / Book Hardback
common.buy 8 431 Ft
Gestus Katharina Weiß / Book Paperback
common.buy 5 901 Ft
Herzklopfen auf Französisch Stephanie Perkins / Book Paperback
common.buy 3 010 Ft
Fidus Dirk Erkelenz / Book Paperback
common.buy 8 398 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

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

You might also be interested in

Who Watches the Watchmen? The Conflict Between National Security and Freedom of the Press Gary Ross / Book Paperback
common.buy 9 304 Ft
I'm Over All That Shirley MacLaine / Book Paperback
common.buy 6 185 Ft
The Child's Guide To Catholic Devotion: Large Print Edition Mel Waller / Book Paperback
common.buy 4 861 Ft
Don't Call It Poetry: A Book Of Skrybes Blacklight Empire / Book Paperback
common.buy 4 681 Ft
Patience HELENA STONE / Book Paperback
common.buy 5 359 Ft
English File: Advanced. Student's Book with iTutor and Online Skills Latham-Koenig Christina; Oxenden Clive / Book Paperback
common.buy 23 845 Ft
Mazes Galore! SPEEDY KIDS / Book Paperback
common.buy 5 450 Ft
The Relation of Civil Service Reform to Municipal Reform. Carl Schurz / Book Paperback
common.buy 4 785 Ft
Feminist Economics and Public Policy Jim Campbell / Book Hardback
common.buy 95 303 Ft
Fast Swimming with Technique and Mental Awareness Gene Damm / Book Paperback
common.buy 4 771 Ft
Suddenly, Tomorrow Came...: A History of the Johnson Space Center National Aeronautics and Administration / Book Paperback
common.buy 6 912 Ft
Beautiful Circles Coloring Book: Circles full of beautiful doodle art designs to color Dwyanna Stoltzfus / Book Paperback
common.buy 4 064 Ft
Bosses and Blackjacks: A Tale of "The Bloody Fifth" in Philadelphia L C Bennett Stern / Book Paperback
common.buy 5 825 Ft
S.U.D.S The Dogs that brought a Community together: Sunnyside United Dog Society Jeannette Remak / Book Paperback
common.buy 10 434 Ft
The Anger Management Manual: Get Control of Yourself Cameron Stewart / Book Paperback
common.buy 3 370 Ft
Wyoming Rugged Diana Palmer / Book Paperback
common.buy 3 959 Ft
Kant on Human Dignity Oliver Sensen / Book Hardback
common.buy 43 412 Ft
Dynamics of Violence. Georg Elwert / Book Paperback
common.buy 30 951 Ft
Geolocation Techniques Camillo Gentile / Book Hardback
common.buy 67 423 Ft
Mongrel Prince Ken Goudsward / Book Paperback
common.buy 4 785 Ft
Rethinking Invasion Ecologies from the Environmental Humanities Jodi Frawley & Iain McCalman / Book Paperback
common.buy 29 337 Ft
Miss Daisy Weed Down to Earth CHARLOTTE GODKIN / Book Hardback
common.buy 8 369 Ft
Top
Concise 33 Strategies of War Robert Greene / Book Paperback
common.buy 3 551 Ft
God's Laboratory Elizabeth F S Roberts / Book Paperback
common.buy 14 137 Ft

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?