A Process Algebraic Approach to Software Architecture Design

Concurrency theory, software architecture, system modeling and verification, and dependability and performance evaluation may seem unrelated disciplines, but in reality they are deeply intertwined and should be part of an integrated view in order to successfully manage the increasing complexity of s...

Täydet tiedot

Tallennettuna:
Bibliografiset tiedot
Päätekijät: Aldini, Alessandro. (Tekijä, http://id.loc.gov/vocabulary/relators/aut), Bernardo, Marco. (http://id.loc.gov/vocabulary/relators/aut), Corradini, Flavio. (http://id.loc.gov/vocabulary/relators/aut)
Yhteisötekijä: SpringerLink (Online service)
Aineistotyyppi: Elektroninen E-kirja
Kieli:English
Julkaistu: London : Springer London : Imprint: Springer, 2010.
Painos:1st ed. 2010.
Aiheet:
Linkit:https://doi.org/10.1007/978-1-84800-223-4
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!