Start Over Please hold this item Remove from Book Cart MARC Display Return To Browse View/Export Marked Records Clear Saved Records
 
     
Limit search to available items
Record: Previous Record Next Record
Conference International Conference FoVeOOS (2010 : Paris, France)
Title Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, revised selected papers / Bernhard Beckert, Claude Marché (eds.).
Publication Info New York : Springer, 2011.
Edition 1st ed.



Descript 197 p. : ill.
Edition 1st ed.
ISBN 9783642180699 (soft cover : alk. paper)
3642180698 (soft cover : alk. paper)
9783642180705 (e-book)
Click on the terms below to find similar items in the catalogue
Conference International Conference FoVeOOS (2010 : Paris, France)
Series Lecture notes in computer science, 6528
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 6528.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Object-oriented methods (Computer science) -- Congresses.
Alt author ebrary, Inc.
Beckert, Bernhard.
Marché, Claude.
Descript 197 p. : ill.
Edition 1st ed.
ISBN 9783642180699 (soft cover : alk. paper)
3642180698 (soft cover : alk. paper)
9783642180705 (e-book)
Conference International Conference FoVeOOS (2010 : Paris, France)
Series Lecture notes in computer science, 6528
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 6528.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Object-oriented methods (Computer science) -- Congresses.
Alt author ebrary, Inc.
Beckert, Bernhard.
Marché, Claude.

Subject Object-oriented methods (Computer science) -- Congresses.
Descript 197 p. : ill.
Alt author ebrary, Inc.
Beckert, Bernhard.
Marché, Claude.
ISBN 9783642180699 (soft cover : alk. paper)
3642180698 (soft cover : alk. paper)
9783642180705 (e-book)

Links and services for this item: