Suchfeld einblenden
Person Lano, Kevin
2 Treffer
Seite < 1 >
Lano, Kevin: The B language and method
: a guide to practical formal development / K. Lano. - London : Springer, 1996. - 232 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76033-7 / 3-540-76033-4 kart. : DM 78.00
Literaturverz. S. 199 - 202
Quelle: DNB
Lano, Kevin: Formal object oriented development
/ Kevin Lano. - London : Springer, 1995. - 422 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19978-6 / 3-540-19978-0 kart. : DM 74.00
Literaturverz. S. 318 - 331
Quelle: DNB
Seite < 1 >
