Kód: 01561845

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561845
Price: 55.77 EUR
Availability: InStock
Author: Antti Valmari
ISBN: 9783540331025

Autor Antti Valmari

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 308
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006
Viac informácií o knihe

55.77 €

Skladom u dodávateľa v malom množstve
Odosielame za 13 - 18 dní

Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

The Charlie Method
13.43 € -24 %
Kúpiť
Beginner's Guide to Chinese Brush Painting
9.99 € -24 %
Kúpiť
Numerical Optimization
80.12 €
Kúpiť
Young ELI Readers - English
8.38 €
Kúpiť
Bonsai: The Art of Growing and Keeping Miniature Trees
12.72 € -24 %
Kúpiť
Planner Story
0.80 € -33 %
Kúpiť
Dark Psychology
13.03 € -2 %
Kúpiť
Thames & Hudson Dictionary of Ancient Egypt
15.96 € -22 %
Kúpiť
XXX
7.77 €
Kúpiť
Wages of Sin
13.94 € -19 %
Kúpiť
Once Upon a Winter
11.21 € -2 %
Kúpiť
Rupáner-konyha
14.54 € -13 %
Kúpiť
LED ZEPPELIN
30.61 €
Kúpiť
Surgery for Parkinson's Disease
50.52 € -9 %
Kúpiť
Vengeful - Die Rache ist mein
15.65 € -13 %
Kúpiť
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6
14.84 €
Kúpiť
Grossbuchstaben Geschichten 2
5.65 €
Kúpiť
Picasso
48.09 € -9 %
Kúpiť
Nuclear Medicine
50.52 € -9 %
Kúpiť
SPUREN - Die Opfer des NSU
18.89 €
Kúpiť
Dancing with Sophia
47.38 €
Kúpiť
Kartouzský vězeň Mons. Jan Šrámek
8.58 € -16 %
Kúpiť
Abraham l'Hebreu - Ministre de Dieu
22.63 € -6 %
Kúpiť
Riveted
19.19 € -18 %
Kúpiť
International Relations Theory
127.62 €
Kúpiť
La Mort Comme Effet Secondaire
24.04 €
Kúpiť
Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908)
18.28 €
Kúpiť
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft
25.05 € -11 %
Kúpiť
I Bedrövelsens Mörker/ Aus dem Dunkel der Trübsal
30.61 € -5 %
Kúpiť
Grundlagen des Usability-Engineering
16.16 € -10 %
Kúpiť
Handbook of Macroeconomics
147.02 €
Kúpiť
Cadogan Guide Cairo, Luxor and Aswan
20 € -9 %
Kúpiť
Thirteenth Bullet
7.37 € -9 %
Kúpiť
Forests in Revolutionary France
127.11 €
Kúpiť
Matrimonio y convivencia en pareja en el ámbito de la Unión Europea : hacia un nuevo modelo de matrimonio
39.80 €
Kúpiť
Advanced Dynamics and Control of Structures and Machines
102.86 € -7 %
Kúpiť
Mit Vollgas Weiter
17.67 €
Kúpiť
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten
16.16 € -10 %
Kúpiť
Corrales: Guia de Servicios
5.85 € -7 %
Kúpiť
Ueber den Optischen Mittelpunkt im Menschlichen Auge.
15.65 € -29 %
Kúpiť
Rationality and Dynamic Choice
120.45 €
Kúpiť
Celulas-Tronco
41.83 € -14 %
Kúpiť
Fundamentos teóricos y jurídicos de la ordenación del territorio
24.14 € -14 %
Kúpiť
La televisión local en el País Vasco
14.64 €
Kúpiť
Improving Consensus Development for Health Technology Assessment
51.02 €
Kúpiť
Writing Indian Nations
43.54 €
Kúpiť
Ceramic and Stone Tiling - A Complete Guide
21.72 € -9 %
Predobjednať
Schäden an polymeren Beschichtungen.
43.44 € -5 %
Kúpiť
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine
180.98 € -9 %
Kúpiť
Handbuch Der Waffenkunde
48.90 € -11 %
Kúpiť
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques
18.28 € -7 %
Kúpiť
Jokes for Kids: Silly Joke Book for Kids Ages 5-12
6.36 € -7 %
Kúpiť
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for
7.16 € -7 %
Kúpiť
Spanish Notebook
14.95 € -6 %
Kúpiť
Methotrexate
98.01 €
Kúpiť
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M.
34.55 € -44 %
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Viac informácií o knihe Model Checking Software

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 135 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

55.77 €

Celý názov: Model Checking Software
Podnázov: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
Autor: Antti Valmari
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 308
EAN: 9783540331025
ISBN: 3540331026
ID: 01561845
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť: 1010 g
Rozmery: 19 × 155 × 19 mm
Dátum vydania: 15. March 2006