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 /

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King (edición)
Format: Bog
Sprog:engelsk
Udgivet: Berlín, Alemania : Springer, 2000, c2000
Serier:(Lecture Notes in Computer Science)
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!