SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /
SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / [electronic resource] :
edited by Emmanuel Gaudin, Elie Najm, Rick Reed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: xii, 288 p. : ill., digital.
- Lecture Notes in Computer Science, 4745 0302-9743 ; .
9783540749844 (electronic bk.)
SDL (Computer program language)--Congresses.
Computer Science.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Software Engineering.
005.133
9783540749844 (electronic bk.)
SDL (Computer program language)--Congresses.
Computer Science.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Software Engineering.
005.133