Model Checking Software

Name: Model Checking Software
Brand: Springer International Publishing AG
SKU: 9783319325811
Price: 1147 CZK
Availability: InStock

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Autor: Dragan Bosnacki, Anton Wijs

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking...

Informace o knize

Autor

Dragan Bosnacki, Anton Wijs

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2016

Stránek

245

EAN

9783319325811

ISBN

3319325817

Enbook ID

02961433

Vydavatel

Springer International Publishing AG

Hmotnost

4044

Rozměry

155 x 235 x 235

Kompletní popis

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také