ZB 2000 : Formal specification and development in Z and B. First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000. Proceedings

Uloženo v:
Podrobná bibliografie
Další autoři: Bowen, Jonathan P. (Editor)
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlin : Springer, 2000
Edice:Lecture notes in computer science ; 1878
ISSN:0302-9743
ISBN:3-540-67944-8
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka
Buďte první, kdo okomentuje tento záznam!
Nejprve se musíte přihlásit.