LEADER 00000cam  2200361 a 4500 
001    OCM1ssj0000476187 
003    WaSeSS 
005    20170407180242.0 
006    m        d         
007    cr  n          
008    101122s2011    nyua    sb    101 0 eng d 
020    |z9783642180699 (soft cover : alk. paper) 
020    |z3642180698 (soft cover : alk. paper) 
020    9783642180705 (e-book) 
035    (WaSeSS)ssj0000476187 
040    CaPaEBR|cCaPaEBR|dWaSeSS 
050 14 QA76.9.O35|bI58 2011eb 
111 2  International Conference FoVeOOS|d(2010 :|cParis, France) 
245 10 Formal verification of object-oriented software :
       |binternational conference, FoVeOOS 2010, Paris, France, 
       June 28-30, 2010, revised selected papers /|cBernhard 
       Beckert, Claude Marché (eds.). 
250    1st ed. 
260    New York :|bSpringer,|c2011. 
300    197 p. :|bill. 
490 1  Lecture notes in computer science,|v6528 
490 1  LNCS sublibrary. SL 2, Programming and software 
       engineering 
650  0 Object-oriented methods (Computer science)|vCongresses. 
700 1  Beckert, Bernhard. 
700 1  Marché, Claude. 
710 2  ebrary, Inc. 
830  0 Lecture notes in computer science ;|v6528. 
830  0 LNCS sublibrary.|nSL 2,|pProgramming and software 
       engineering. 
856 40 |uhttps://link.springer.com/openurl?genre=book&isbn=978-3-
       642-18069-9|zFull text available from SpringerLink ebooks 
       - Computer Science (2011)