B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Bibliographic Details
Published in:Springer e-books
Main Author: Julliand, Jacques
Corporate Author: SpringerLink (Online service)
Other Authors: Kouchnarenko, Olga
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2006
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
Logic design
Software engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Online Access:http://dx.doi.org/10.1007/11955757
Перейти в каталог НБ ТГУ
Description
ISBN:9783540687610
ISSN:0302-9743 ;

Similar Items