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

Language EnglishEnglish
Book Paperback
Book Formal Verification of Object-Oriented Software Bernhard Beckert
Libristo code: 01297498
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2011
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Full description
? points 152 b
22 867 Ft
Low in stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Papà, guarda! Eva Montanari / Book Hardback
common.buy 6 185 Ft
Musicien et Professeur de Musique au XVIIIeme siecle Micheline Cumant / Book Paperback
common.buy 3 627 Ft
Vyjdi, i vyšel Štěpán Hájek / Book binding.
common.buy 1 249 Ft
Musiklehre, m. DVD Friedrich Neumann / Book Sheet
common.buy 16 245 Ft
Les Archives Star Wars. 1977-1983 Paul Duncan / Book Hardback
common.buy 67 713 Ft
Adaptive Strahlformung in intelligenten Antennen für 5G-Netze Chaitanya Vijaykumar Mahamuni / Book Paperback
common.buy 14 284 Ft
Accès à l'eau potable Elamé / Book Paperback
common.buy 8 944 Ft
Sběratel vůní Dominique Roques / Book Hardback
common.buy 4 937 Ft
Integrationsfunktion der Verfassung und Verfassungsnormativität. Sandra Obermeyer / Book Paperback
common.buy 27 125 Ft
Distinció. Un segle de fotografia de moda Naranjo Niño / Book Paperback
common.buy 9 618 Ft
formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco / Book Paperback
common.buy 23 332 Ft
IDENTITES EN CONFLIT, DIALOGUE DES MEMOIRES. ENJEUX IDENTITAIRES DANS LES RENCONTRES INTERGROUPES ECKMANN MONIQUE Book Paperback
common.buy 15 039 Ft
Sto tváří, sto příběhů Jiří Hanuš / Book Paperback
common.buy 5 929 Ft
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald / Book Paperback
common.buy 6 442 Ft
Salben im Morgen- und Abendlande Friedrich W. Culmann / Book Paperback
common.buy 11 246 Ft
DICCIONARIO INCORRECTO DE LA NUEVA NORMALIDAD CARLOS RODRIGUEZ BRAUN / Book Paperback
common.buy 7 752 Ft

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. §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 sharp. FoVeOOS 2010 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
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 199
EAN 9783642180699
ISBN 3642180698
Libristo code 01297498
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 331
Dimensions 155 x 235 x 13

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 > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Tornadoes Mari C. Schuh / Book Paperback
common.buy 3 356 Ft
Top
The Hot Rats Book Bill Gubbins / Book Hardback
common.buy 13 610 Ft
Artist Formerly Known as Adolf Hitler A.M OVERETT / Book Paperback
common.buy 5 720 Ft
Gorillas and Their Infants: A 4D Book Margaret Hall / Book Hardback
common.buy 9 076 Ft
Rethinking New Womanhood Nazia Hussein / Book Hardback
common.buy 42 586 Ft
The Flying Inn (1914), By Gilbert K. Chesterton ( Speculative Fiction Novel ): Gilbert Keith Chesterton G. K. Chesterton / Book Paperback
common.buy 3 537 Ft
China Classic Paintings Art History Series - Book 1: Mythology: English Version Zhou Wenjing / Book Paperback
common.buy 5 103 Ft
trip Round the World in 1887-8 William Sproston Cain / Book Paperback
common.buy 10 088 Ft
Anglo-American Insanity Defence Reform Faye Boland / Book Paperback
common.buy 20 398 Ft
Death in the Sahara: The Lords of the Desert and the Timbuktu Railway Expedition Massacre Michael Asher / Book Paperback
common.buy 5 526 Ft
Top
Stephen Shore: Uncommon Places Stephan Schmidt-Wulffen / Book Hardback
common.buy 19 568 Ft
The Finest of the Wheat, Volume 1 Selected Excerpts from the Published Works of Watchman Nee Watchman Nee / Book Hardback
common.buy 7 197 Ft
Raising Godly Children in an Ungodly World: Leaving a Lasting Legacy Ken Ham / Book Paperback
common.buy 4 258 Ft
Quantum Pythagoreans Ivsin / Book Paperback
common.buy 8 701 Ft
Back to Zero Gil Rendle / Book Paperback
common.buy 5 151 Ft
Distinguishing Marks of a Work of the Spirit of God. Extracted from Mr. Edwards. ... by John Wesley, ... Jonathan Edwards / Book Paperback
common.buy 7 149 Ft
Professor X: A Blue Devils MC Kiki Leach / Book Paperback
common.buy 6 565 Ft
Proceedings of the 12th International Conference on Advanced Materials and Engineering Materials Laichang Zhang / Book Paperback
common.buy 73 295 Ft
Top
Mathematical Olympiad in China (2023): Problems and Solutions XIONG BIN / Book Paperback
common.buy 11 939 Ft
Top
Merry Christmas Coloring Book Hanna Karlzon / Book Hardback
common.buy 5 734 Ft
Detective Dogs Are on the Case STEVENS ALISON PEARCE / Book Hardback
common.buy 6 622 Ft
"They Say / I Say" with Readings Gerald Graff / Book Hardback
common.buy 26 888 Ft
Structural Equation Modelling with Partial Least Squares Using Stata and R Mehmetoglu / Book Paperback
common.buy 29 337 Ft
Logic of Thought of Investigation and of Knowledge Vol I Hermann Lotze / Book Hardback
common.buy 15 025 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?