Check order status

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Verification of Object-Oriented Software

Name: Formal Verification of Object-Oriented Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01297498
Price: 60.49 EUR
Availability: InStock
Author: Bernhard Beckert
ISBN: 9783642180699

Bernhard Beckert

Language

English

Book Paperback

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

Libristo code: 01297498

148 b

60.49 € VAT included

Low in stock at our supplier Shipping in 14-21 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Distinció. Un segle de fotografia de moda Naranjo Niño

Paperback

29.89 €

Vyjdi, i vyšel Štěpán Hájek

binding.

3.59 €

Adaptive Strahlformung in intelligenten Antennen für 5G-Netze Chaitanya Vijaykumar Mahamuni

Paperback

43.90 €

Accès à l'eau potable Elamé

Paperback

23.49 €

Papà, guarda! Eva Montanari

Hardback

17.89 €

Sběratel vůní Dominique Roques

Hardback

14.19 €

Integrationsfunktion der Verfassung und Verfassungsnormativität. Sandra Obermeyer

Paperback

66.39 €

Musiklehre, m. DVD Friedrich Neumann

Sheet

46.29 €

IDENTITES EN CONFLIT, DIALOGUE DES MEMOIRES. ENJEUX IDENTITAIRES DANS LES RENCONTRES INTERGROUPES ECKMANN MONIQUE Book

Paperback

42.89 €

Sto tváří, sto příběhů Jiří Hanuš

Paperback

16.99 €

Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald

Paperback

17.95 €

DICCIONARIO INCORRECTO DE LA NUEVA NORMALIDAD CARLOS RODRIGUEZ BRAUN

Paperback

24.39 €

Salben im Morgen- und Abendlande Friedrich W. Culmann

Paperback

32.19 €

Les Archives Star Wars. 1977-1983 Paul Duncan

Hardback

207.79 €

formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco

Paperback

66.99 €

Musicien et Professeur de Musique au XVIIIeme siecle Micheline Cumant

Paperback

10.39 €

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.