SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Anna Ingolfsdottir | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Reactive Systems: Modelling, Specification and Verification
Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jiri Srba
Cambridge University Press (2007)
Kovakantinen kirja
101,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Transactions on Computational Systems Biology VII
Anna Ingolfsdottir; Bud Mishra; Hanne Riis Nielson
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automata, Languages and Programming - 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings
Luca Aceto; Ivan Damgaard; Leslie Ann Goldberg; Magnus M. Halldorsson; Anna Ingolfsdottir; Igor Walukiewicz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automata, Languages and Programming - 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings,
Luca Aceto; Ivan Damgaard; Leslie Ann Goldberg; Magnus M. Halldorsson; Anna Ingolfsdottir; Igor Walukiewicz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
125,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Foundations of Software Science and Computational Structures - 9th International Conference, FOSSACS 2006, Held as Part of the J
Luca Aceto; Anna Ingólfsdóttir
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Axel Legay; Radu Mardare
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Reactive Systems: Modelling, Specification and Verification
Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen
CAMBRIDGE (2011)
Verkkoaineisto
248,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Reactive Systems: Modelling, Specification and Verification
101,60 €
Cambridge University Press
Sivumäärä: 302 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2007, 09.08.2007 (lisätietoa)
Kieli: Englanti
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Reactive Systems: Modelling, Specification and Verificationzoom
Näytä kaikki tuotetiedot
ISBN:
9780521875462
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste