Bookbot

Software engineering with abstractions

Boekbeoordeling

Meer over het boek

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

Een boek kopen

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

Taal
Jaar van publicatie
1990
Bindwijze
(Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

4,0
Zeer goed
1 Beoordelingen

We missen je recensie hier.

Titel
Software engineering with abstractions
Taal
Engels
Jaar van publicatie
1990
Formaat
Hardcover
ISBN10
0201080044
ISBN13
9780201080049
Reeks
Beoordeling
4 van 5
Aantekening
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