Kód: 05274476

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274476
Price: 51.69 EUR
Availability: InStock
Author: Pierre Wolper
ISBN: 9783540600459

Autor Pierre Wolper

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and ... celý popis

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 456
Nakladateľ: Springer, Berlin, 1995
Viac informácií o knihe

51.69 €

Bežne: 55.97 €

Ušetríte 4.28 €

Skladom u dodávateľa
Odosielame za 5 - 8 dní

Pridať medzi želanie

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

Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep
14.86 € -7 %
Kúpiť
5-Minute Bible Study for Women
5.86 € -25 %
Kúpiť
My First Encyclopedia of Trees (giant Size)
5.55 € -25 %
Kúpiť
Les Fables de La Fontaine - Livre 1-2-3-4
20.83 € -7 %
Kúpiť
Easy Ukulele Songs
9.80 € -6 %
Kúpiť
Grain EP
14.36 € -25 %
Kúpiť
Lebensversicherungsvertrage
9.10 € -10 %
Kúpiť
Panorama della letteratura italiana: Dae origini ai giorni nostri
18.40 € -6 %
Kúpiť
Adaptive Coding and Modulation
48.96 € -2 %
Kúpiť
I Am A Key
12.13 € -2 %
Kúpiť
notti chiare
17.90 €
Kúpiť
Papiermache Figuren selbst gebaut
13.14 € -10 %
Kúpiť
Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida
7.27 € -6 %
Kúpiť
Archive Stories
139.72 €
Kúpiť
Psychotraumatology
205.79 € -7 %
Kúpiť
Jane Butel's Simply Southwestern
25.08 € -25 %
Kúpiť
Perspectives on U.S. Policy Toward North Korea
60.80 €
Kúpiť
Middle East
209.13 €
Kúpiť
Diffusion and Use of Genomic Innovations in Health and Medicine
59.58 € -14 %
Kúpiť
Manager pour apprendre
40.87 € -14 %
Kúpiť
Die Kunst des Zweifelns
10.82 € -5 %
Kúpiť
Cronicando
22.86 €
Kúpiť
Advances in Systems Biology
205.79 € -7 %
Kúpiť
Sacred Hymns and Spiritual Songs
28.52 € -14 %
Kúpiť
Between Resource Plenty and State Failure
17.09 € -14 %
Kúpiť
Meat me: The end of a new beginning
12.33 € -7 %
Kúpiť
TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE?
26.30 € -2 %
Kúpiť
Blake's Reading Log
7.88 € -24 %
Kúpiť
Farmer's Magazine
38.24 € -1 %
Kúpiť
Metropolitan Poor Vol 5
145.89 €
Kúpiť
L'Olimpia
17.90 € -11 %
Kúpiť
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern
25.08 € -11 %
Kúpiť
Theory and New Applications of Swarm Intelligence
114.73 € -14 %
Kúpiť
Control of Uncertain Systems: Modelling, Approximation, and Design
154.39 € -7 %
Kúpiť
The Administration Of Iowa: A Study In Centralization, Issues 46-48
32.77 € -2 %
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe Computer Aided Verification

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

Nákupom získate 125 bodov

Anotácia knihy

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Systems analysis & design

51.69 €

Celý názov: Computer Aided Verification
Podnázov: 7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings
Autor: Pierre Wolper
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 456
EAN: 9783540600459
ISBN: 3540600450
ID: 05274476
Nakladateľ: Springer, Berlin
Hmotnosť: 622 g
Rozmery: 234 × 156 × 23 mm
Rok vydania: 1995