Code: 09486332

Model Checking Software

Name: Model Checking Software
Brand: Springer International Publishing AG
SKU: 09486332
Price: 51.72 EUR
Availability: InStock
Author: Bernd Fischer
ISBN: 9783319234038

by Bernd Fischer, Jaco Geldenhuys

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

51.72 €

RRP: 56.01 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Inuyasha (VIZBIG Edition), Vol. 1
19.63 € -21 %
Buy
Espacio Joven 360: Level B1.2: Exercises Book
12.14 € -1 %
Buy
Best Fairy Tales
14.77 € -6 %
Buy
Nech se vést láskou
3.74 € -21 %
Buy
Cinema of Hong Kong
38.36 €
Buy
Alta Via delle Dolomiti n. 1. Il più classico dei grandi itinerari dolomitici. Lago di Braies - Belluno
25.20 € -9 %
Buy
Complete Anti-Inflammatory Diet Cookbook
14.97 € -6 %
Buy
Psychotherapy of the Disorders of the Self
66.91 €
Buy
Principles of Language Learning and Teaching
71.47 €
Buy
Treasures from Juniper Ridge
13.45 € -24 %
Buy
Delicious
15.48 € -25 %
Buy
LAC Wanderkarte Madonie 1:50 000
7.08 € -28 %
Buy
History and Development of the Arabic Language
68.02 €
Buy
Analog Circuit Design Volume Three
99.21 €
Buy
Freedom and Reason
70.66 €
Buy
451° по Фаренгейту
14.06 € -11 %
Buy
Teczka ofertowa 9002 A4 20 koszulek
3.94 €
Buy
Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe
24.19 € -10 %
Buy
Sim Chung and the River Dragon-A Folktale from Korea
9.30 € -24 %
Buy
Complete Peter Pan
15.68 € -2 %
Buy
Jóvenes empresarios: apoyo y formación
54.36 € -14 %
Buy
Cultural Factors Promoting Streetism
40.99 € -14 %
Buy
Nation-Building
36.03 €
Buy
Two Indian Children of Long Ago
14.57 € -17 %
Buy
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender
21.35 € -12 %
Buy
Branding Japanese Food
89.39 €
Buy
DUSK MAIDEN OF AMNESIA 4
11.43 €
Buy
Zinc in Soil-Plant Continuum
236.69 € -7 %
Buy
Miraculous Première lecture CP 2 L'hypnotiseur
6.37 €
Buy
Crossing the Himalayas
133.93 € -7 %
Buy
TEHG - ZuV 2020
70.15 € -4 %
Buy
Protecting Maggie
14.77 € -25 %
Buy
Der Elektrifizierungsroman Andrej Platonovs
83.31 €
Buy
Pattern Recognition and Machine Intelligence
56.08 €
Buy
Kritická reflexe demokracie a občanské společnosti
10.01 € -16 %
Buy
Servalo
10.82 € -6 %
Buy
Who do you see in the Moon / ?Quién ve usted en la Luna?
11.53 € -7 %
Buy
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo
20.54 €
Buy
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials
91.41 € -1 %
Buy
New Improved Great Dane Understanding and Training Guide Book
15.58 €
Buy
The New Century Standard Letter-Writer
35.73 € -14 %
Buy
Jardin Des Cultures Guyanaises
64.08 €
Buy
Poems in Russian
10.82 €
Buy
Women Vietnam Veterans
29.75 €
Buy
Health Care for People with Intellectual and Developmental Disabilities across the Lifespan
675.98 €
Buy
Encyclopedia of Crime and Punishment
620.70 € -5 %
Buy
Unsub
9.30 € -25 %
Buy
Psychology
14.37 €
Buy
Krankheiten des Magens
24.19 € -11 %
Buy
Come Out of the Kitchen! a Romance (1916)
42.71 € -2 %
Buy
Low Carb Diat Fur Anfanger
14.77 € -27 %
Buy
Walks, Tracks and Trails of Queensland's Tropics
31.88 €
Buy
Introduction to Coastal Issues and Management
60.53 € -14 %
Buy
Bericht zum Praktikum in einem Rehabilitationszentrum
14.47 € -10 %
Buy
Ruta estocastica mas corta mediante MDP priorizado y reglamentado
64.89 € -4 %
Buy
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls
11.23 € -2 %
Buy
COLOREA TU UNICORNIO
8.60 €
Buy
Modern Sehircilikte Rekreasyon ve Rekreasyon Liderligi
44.54 € -14 %
Buy
Al culmine della disperazione
19.43 €
Buy
Journal of Biblical and Theological Studies
19.33 € -2 %
Buy
Waiting for spring T01
10.92 €
Buy
Theory and Practice of Market Law in Medieval Islam
118.75 € -15 %
Buy
Le Style: Théorie et histoire
30.97 € -2 %
Buy
Blending Leadership
18.21 € -25 %
Buy
Sight Words for Kids Learning to Write and Read
6.87 € -25 %
Buy
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition)
52.74 € -25 %
Buy
Travel Activity Book For Kids Ages 6-8: Over 150 Travelling Activities for Children, including Puzzles, Mazes, Dot-to-Dots, Drawing and Coloring, Lett
10.22 € -7 %
Buy
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii
81.89 € -14 %
Buy
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date
11.73 € -10 %
Buy
MONSIEUR MARCEL ou de la communication
16.09 €
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 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

51.72 €

Full title: Model Checking Software
Subtitle: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Author: Bernd Fischer, Jaco Geldenhuys
Language: English
Binding: Paperback
Number of pages: 319
EAN: 9783319234038
ISBN: 331923403X
ID: 09486332
Publisher: Springer International Publishing AG
Weight: 5153 g
Dimensions: 235 × 155 × 20 mm
Date of publishing: 20. August 2015