B 2007: Formal Specification and Development in B [E-Book] / 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings edited by Jacques Julliand, Olga Kouchnarenko.
Julliand, Jacques
Kouchnarenko, Olga
Berlin Heidelberg : Springer-Verlag GmbH , 2006
online resource
englisch
9783540687610
Lecture notes in computer science ; 4355
Full Text
LEADER 01033nmm a22002775u 4500
001 978-3-540-68760-3
003 Springer
020 |a 9783540687610 
035 |a (Sirsi) a204866 
035 |a i9783540687610 
041 |a eng 
245 1 0 |a B 2007: Formal Specification and Development in B  |h [E-Book] /  |b 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings  |c edited by Jacques Julliand, Olga Kouchnarenko. 
260 |a Berlin Heidelberg :  |b Springer-Verlag GmbH ,  |c 2006  |e (Springer LINK) 
300 |a online resource 
490 0 |a Lecture notes in computer science ;  |v  4355 
500 |a englisch 
596 |a 1 
650 0 |a Computer science 
650 0 |a Logic design 
650 0 |a Software engineering 
700 1 |a Julliand, Jacques 
700 1 |a Kouchnarenko, Olga 
856 4 0 |u http://dx.doi.org/10.1007/11955757  |z Volltext 
908 |a Konferenz 
915 |a zzwFZJ2 
949 |a XX(204866.1)  |w AUTO  |c 1  |i 204866-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 25/2/2010  |x UNKNOWN  |z UNKNOWN  |1 ONLINE  |2 KONFERENZ