Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing - Razvan Diaconescu - Libros - World Scientific Publishing Co Pte Ltd - 9789810235130 - 2 de julio de 1998
En caso de que portada y título no coincidan, el título será el correcto

Razvan Diaconescu
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

CafeOBJ is an industrial-strength modern algebraic specification language. This book presents not only a formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity.

196 pages, Illustrations

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 2 de julio de 1998
ISBN13 9789810235130
Editores World Scientific Publishing Co Pte Ltd
Páginas 196
Dimensiones 150 × 220 × 20 mm   ·   476 g

Mas por Razvan Diaconescu

Mostrar todo

Mere med samme udgiver

Ver todo de Razvan Diaconescu ( Ej. Hardcover Book y Paperback Book )