Code: 02961433

Model Checking Software

Name: Model Checking Software
Brand: Springer International Publishing AG
SKU: 02961433
Price: 51.62 EUR
Availability: InStock
Author: Dragan Bosnacki
ISBN: 9783319325811

by Dragan Bosnacki, Anton Wijs

Language: English
Binding: Paperback
Number of pages: 245
Publisher: Springer International Publishing AG, 2016
More about this

51.62 €

RRP: 55.89 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

From the World of Minor Threats Library Edition Volume 1
34.54 € -28 %
Buy
The Architect's Apprentice
13.43 € -24 %
Buy
Handbook of Forensic Psychology, Fourth Edition
123.75 € -25 %
Buy
The Darkest King: William's Story
7.87 € -25 %
Buy
Psychologische Typen
59.60 € -11 %
Buy
LEGO® City Joyeux Noël
11.91 €
Buy
Postkarten-Set George Barbier
6.66 €
Buy
Wiel Arets - Bas Princen
93.44 €
Buy
Moutons Et Colons En Patagonie
94.05 € -5 %
Buy
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition)
12.11 € -31 %
Buy
Mobile and Wireless Communications Networks
102.84 € -7 %
Buy
Shadow Lost
12.32 € -7 %
Buy
Blades & Axes: Birth of Legends Book 1
14.84 € -6 %
Buy
Bears Don't Read!
14.84 € -9 %
Buy
Camiño de paz
13.33 €
Buy
Performances of Injustice
85.46 €
Buy
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica.
5.85 € -7 %
Buy
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi
21 €
Buy
Legendes de Noel
17.57 € -7 %
Buy
Agility Kompakt
21.21 €
Buy
François Truffaut
14.84 €
Buy
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1
34.54 € -2 %
Buy
PIMENT?ES (Capsicum annuum)
39.19 € -14 %
Buy
Alcoholism
8.88 €
Buy
Naufragio : la historia olvidada del Vapor Príncipe de Asturias, hundido el 5 de marzo de 1916 con más de 600 personas a bordo
32.62 € -9 %
Buy
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead
14.03 € -7 %
Buy
Missouri Birds
9.69 €
Buy
Les Breves de Fin du Monde
9.29 € -3 %
Buy
Mediterranean Ecosystems
205.49 € -7 %
Buy
The Cheyenne Pool
39.29 €
Buy
Modern Feminist Theory
14.74 € -2 %
Buy
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think....
14.94 € -6 %
Buy
Ursprachlehre
102.84 €
Buy
CUARTO MOSQUETERO, EL
11.91 €
Buy
Match
28.99 € -3 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

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.§

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

51.62 €

Full title: Model Checking Software
Subtitle: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Author: Dragan Bosnacki, Anton Wijs
Language: English
Binding: Paperback
Number of pages: 245
EAN: 9783319325811
ISBN: 3319325817
ID: 02961433
Publisher: Springer International Publishing AG
Weight: 4044 g
Dimensions: 235 × 155 × 235 mm
Date of publishing: 08. April 2016