Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35) - Tapa dura

Feijs, L. M. G.; Jonkers, H. B. M.

9780521434577: Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)

Tapa dura

ISBN 10: 0521434572 ISBN 13: 9780521434577

Editorial: Cambridge University Press, 1992

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 29,99

3 Nuevo

De EUR 129,30

The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Cr�ticas

..".well-written...a good introduction to formal specification concepts. It is very readable and elegant. It may be used in an almost notation-independent way, not just by those who are interested in the COLD-K notation." H.I. Kilov, Computing Reviews

Rese�a del editor

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Editorial: Cambridge University Press
A�o de publicaci�n: 1992
Idioma: Ingl�s
ISBN 10: 0521434572
ISBN 13: 9780521434577
Encuadernaci�n: Tapa dura
N�mero de p�ginas: 351
Contacto del fabricante: no disponible
Persona responsable: Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia

Comprar usado

Condici�n: Excelente

Ancien livre de biblioth�que. Edition...

Ver este art�culo

EUR 29,99

Convertir moneda

EUR 22,50 gastos de env�o desde Francia a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 129,30

Convertir moneda

EUR 3,43 gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9780521435925: Formal Specification and Design Paperback: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)

Edici�n Destacada

ISBN 10: 0521435927 ISBN 13: 9780521435925
Editorial: Cambridge University Press, 2008
Tapa blanda

Resultados de la b�squeda para Formal Specification and Design (Cambridge Tracts in...

Imagen de archivo

Formal Specification and Design

L. M. G. Feijs et H. B. M. Jonkers

Publicado por Cambridge University Press, 1992

ISBN 10: 0521434572 ISBN 13: 9780521434577

Antiguo o usado Tapa dura

Librería: Ammareal, Morangis, Francia

Calificaci�n del vendedor: 5 de 5 estrellas

Hardcover. Condici�n: Tr�s bon. Ancien livre de biblioth�que. Edition 1992. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. N� de ref. del art�culo: E-731-952

Contactar al vendedor