Julliand, Jacques.
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings / [electronic resource] : edited by Jacques Julliand, Olga Kouchnarenko. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4355 0302-9743 ; . - Lecture Notes in Computer Science, 4355 .
9783540687610
10.1007/11955757 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
QA76.758
005.1
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings / [electronic resource] : edited by Jacques Julliand, Olga Kouchnarenko. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4355 0302-9743 ; . - Lecture Notes in Computer Science, 4355 .
9783540687610
10.1007/11955757 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
QA76.758
005.1