|
|

avaa valikko

Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems
Nasreddine Aoumeur
80,60 €
Shaker Verlag
Sivumäärä: 247 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2002, 01.01.2002 (lisätietoa)
Kieli: Englanti
Tuotesarja: Berichte aus der Informatik
Tuotteella ei tuotekuvausta.


Loppuunmyyty
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems
Näytä kaikki tuotetiedot
ISBN:
9783826599712
Asiasanat:
Algebraic specification and rewriting (logic) Distributed Information Systems Evolving Information Systems Informatik Integrity Constraints in distributed information systems Software engineering and related object-oriented approaches Softwaretechnik
Aihealue:
Ulkomaiset kirjat
Kansikuva tuotteelle