Code: 01297498

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: 55.90 EUR
Availability: InStock
Author: Bernhard Beckert
ISBN: 9783642180699

by Bernhard Beckert

Language: English
Binding: Paperback
Number of pages: 199
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011
More about this

55.90 €

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

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Merry Christmas Coloring Book
13.41 € -24 %
Buy
Cambridge Primary English Workbook 1 with Digital Access (1 Year)
16.04 €
Buy
Mathematical Olympiad in China (2023): Problems and Solutions
29.16 €
Buy
Stephen Shore: Uncommon Places
45.71 € -24 %
Buy
The Hot Rats Book
28.55 € -24 %
Buy
Cycling Chef: Recipes for Getting Lean and Fuelling the Machine
26.84 € -12 %
Buy
Non-equilibrium Thermodynamics
19.57 € -24 %
Buy
Maths - No Problem! Measuring, Ages 4-6 (Key Stage 1)
5.54 € -25 %
Buy
Sběratel vůní
11.50 € -26 %
Buy
Using SQLite
48.54 €
Buy
A Good Turn of Phrase Idiom Practice - Student's book
27.95 €
Buy
Papà, guarda!
17.15 €
Buy
Fascism
13.11 € -7 %
Buy
Raising Godly Children in an Ungodly World: Leaving a Lasting Legacy
9.98 € -24 %
Buy
Physics Made Simple
18.56 € -25 %
Buy
Adaptive Strahlformung in intelligenten Antennen für 5G-Netze
39.15 € -11 %
Buy
"They Say / I Say" with Readings
69.13 €
Buy
Lives of the Ninth-Century Popes
66.50 €
Buy
Sto tváří, sto příběhů
12.51 € -33 %
Buy
Les Archives Star Wars. 1977-1983
201.64 €
Buy
Distinguishing Marks of a Work of the Spirit of God. Extracted from Mr. Edwards. ... by John Wesley, ...
17.25 € -2 %
Buy
Artist Formerly Known as Adolf Hitler
13.31 € -25 %
Buy
Musicien et Professeur de Musique au XVIIIeme siecle
9.88 € -5 %
Buy
Philosophical-Political Profiles
28.55 €
Buy
CCNA Cloud CLDFND 210-451 Official Cert Guide
54.09 €
Buy
Biodiversity of African Plants
307.72 € -7 %
Buy
Detective Dogs Are on the Case
15.43 € -25 %
Buy
IDENTITES EN CONFLIT, DIALOGUE DES MEMOIRES. ENJEUX IDENTITAIRES DANS LES RENCONTRES INTERGROUPES
41.47 €
Buy
Rethinking New Womanhood
116.66 € -4 %
Buy
Proceedings of the 12th International Conference on Advanced Materials and Engineering Materials
200.74 € -9 %
Buy
Structural Equation Modelling with Partial Least Squares Using Stata and R
68.82 €
Buy
Death in the Sahara: The Lords of the Desert and the Timbuktu Railway Expedition Massacre
13.92 € -9 %
Buy
Vyjdi, i vyšel
3.32 € -15 %
Buy
Salben im Morgen- und Abendlande
30.87 € -3 %
Buy
J.Paul Getty Museum Handbook of the Collections
24.62 € -9 %
Buy
China Classic Paintings Art History Series - Book 1: Mythology: English Version
12.30 € -6 %
Buy
Accès à l'eau potable
20.88 € -5 %
Buy
Eaf! Dog Days of Summer
7.16 € -25 %
Buy
Quantum Pythagoreans
25.02 €
Buy
Back to Zero
12 € -25 %
Buy
Musiklehre, m. DVD
44.70 €
Buy
Distinció. Un segle de fotografia de moda
28.96 €
Buy
Professor X: A Blue Devils MC
15.73 € -7 %
Buy
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum
16.14 € -10 %
Buy
Playing with a Full Deck
28.65 €
Buy
Melodies of the Mind
52.88 €
Buy
PRACTICAL ASTROLOGY: BEING A SIMPLE METH
40.76 € -2 %
Buy
Logic of Thought of Investigation and of Knowledge Vol I
36.32 € -2 %
Buy
DICCIONARIO INCORRECTO DE LA NUEVA NORMALIDAD
23.61 €
Buy
Foundations of Morality, Human Rights, and the Human Sciences
215.87 €
Buy
Proceedings of the First U.S./Japan Conference on the Frontiers of Statistical Modeling: An Informational Approach
337.49 €
Buy
Anglo-American Insanity Defence Reform
50.45 €
Buy
10th International Conference on Automated Deduction
143.71 € -7 %
Buy
The Near East: A Modern History
52.47 € -2 %
Buy
Exercises in Physical Geology
90.52 € -14 %
Buy
formacion de lideres estudiantiles mejoran la interaccion escolar
63.88 € -14 %
Buy
Poetical Works of Edward Young Avol. 2
30.07 € -2 %
Buy
Drug and Alcohol Abuse
174.49 € -7 %
Buy
Changeable and Reconfigurable Manufacturing Systems
154.01 € -7 %
Buy
Integrationsfunktion der Verfassung und Verfassungsnormativität.
63.88 €
Buy
Stochastic Service Systems: The Siam Series in Applied Mathematics
36.32 € -2 %
Buy
water me water you we grow together
15.73 € -7 %
Buy
Urban Encounters
55.70 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Verification of Object-Oriented Software

Book details
Synopsis
Trending among others

You get 136 loyalty points

Book synopsis

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.