Treharne, Helen.
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings / [electronic resource] : edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3455 0302-9743 ; . - Lecture Notes in Computer Science, 3455 .
9783540320074
10.1007/b135596 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
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings / [electronic resource] : edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3455 0302-9743 ; . - Lecture Notes in Computer Science, 3455 .
9783540320074
10.1007/b135596 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