Bookbot

Software engineering with abstractions

Valutazione del libro

Maggiori informazioni sul 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

Acquisto del libro

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

Lingua
Pubblicato
1990
Rilegatura
(Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

4,0
Molto buono
1 Valutazioni

Qui potrebbe esserci la tua recensione.

Titolo
Software engineering with abstractions
Lingua
Inglese
Pubblicato
1990
Formato
Copertina rigida
ISBN10
0201080044
ISBN13
9780201080049
Serie
Tag
Valutazione
4 su 5
Descrizione
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