Bookbot

Software engineering with abstractions

Valoración del libro

Más información sobre el libro

This book provides a technical introduction to software engineering. It employs a systematic approach that is both formal and practical, and covers the entire software development process. It uses a formal specification language ("Spec") to develop large, real-time, and distributed systems in Ada, and includes a discussion of system evolution and tools for automating software development. 0201080044B04062001

Compra de libros

Software engineering with abstractions, Valdis Andris Bērzin̦s̆

Idioma
Publicado en
1990
Encuadernación
(Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

4,0
Muy bueno
1 Valoraciones

Nos falta tu reseña aquí

Título
Software engineering with abstractions
Idioma
Inglés
Publicado en
1990
Formato
Tapa dura
ISBN10
0201080044
ISBN13
9780201080049
Serie
Etiquetas
Calificación
4 de 5
Descripción
This book provides a technical introduction to software engineering. It employs a systematic approach that is both formal and practical, and covers the entire software development process. It uses a formal specification language ("Spec") to develop large, real-time, and distributed systems in Ada, and includes a discussion of system evolution and tools for automating software development. 0201080044B04062001