The B Language and Method: A Guide to Practical Formal Development - Tapa blanda

Lano, Kevin

 
9781447114956: The B Language and Method: A Guide to Practical Formal Development
Tapa blanda
ISBN 10: 1447114957 ISBN 13: 9781447114956
Editorial: Springer, 2011

Esta edición ISBN ya no está disponible.

Editorial
Springer
Año de publicación
2011
Idioma
Inglés
ISBN 10 
1447114957
ISBN 13 
9781447114956
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783540760337: The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))

Edición Destacada

ISBN 10:  3540760334 ISBN 13:  9783540760337
Editorial: Springer-Verlag, 1996
Tapa blanda