bol.com

Een digitaal boek bestellen is heel gemakkelijk:

Een digitaal boek bestel je net als een gewoon boek.

Na betaling kom je op een downloadpagina.

Download daar je boek. Alles over digitaal lezen.

Beschrijving

Volledige beschrijving

Inkijkexemplaar (2)

Klik hier om het boek in te kijken

Reviews

Er zijn nog geen reviews.

Schrijf als eerste een review

Productinformatie

Auteur: L. Aceto , Anna Ingolfsdottir
Co-auteur: Luca Aceto , Larsen- , Kim Guldstrand Larson , Jiri Srba , Anna Inga
Overige betrokkenen: Cambridge University Press
Taal: Engels
Formaat: Adobe pdf met kopieerbeveiliging (DRM)
Bestandsgrootte: 2.64 MB
Kopieerrechten: Het printen van (delen van) de pagina's is maximaal 5 keer toegestaan binnen 30 dag(en)
Printrechten: Het printen van (delen van) de pagina's is maximaal 20 keer toegestaan binnen 30 dag(en)
Voorleesfunctie: De voorleesfunctie is ingeschakeld
Geschikt voor: Alle e-readers te koop bij bol.com (of compatible met Adobe DRM). Telefoons/tablets met Google Android (1.6 of hoger) voorzien van bol.com boekenbol app. PC en Mac met Adobe reader software
ISBN10: 0511332149
ISBN13: 9780511332142

Je vindt dit boek in

Categorieën: Engelse boeken > Computer > Programmeren > Software-ontwikkeling
: Digitaal boek
Trefwoord(en): Computers , General , Programming , Software Development , Software Development & Engineering , Software engineering

Meer boeken met dezelfde kenmerken

Selecteer één of meer kenmerken:

Beschrijving

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.

Terug naar het overzicht