Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Model Checking Software

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

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Antti Valmari

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01561845

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 2006

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Celý popis

Libristo kód: 01561845

135 b

55.90 €

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

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain

Brožovaná

18.32 €

Mit Vollgas Weiter Die Jungen Klostertaler

Audio CD

17.71 €

Rupáner-konyha Rupáner-Gallé Margó

Pevná

14.57 €

Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová

binding.

8.60 €

Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft

Brožovaná

25.11 €

Fundamentos teóricos y jurídicos de la ordenación del territorio

Brožovaná

24.20 €

Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries

Brožovaná

15.69 €

XXX xxx

Brožovaná

7.79 €

Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek

List

14.88 €

Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold

Brožovaná

34.63 €

Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh

Brožovaná

16.20 €

Planner Story Pavel Kosatík

Pevná

0.80 €

Celulas-Tronco Capuano Vanessa Capuano

Brožovaná

41.92 €

Corrales: Guia de Servicios Diego Molina Ruiz

Brožovaná

5.86 €

La Mort Comme Effet Secondaire Shua

Brožovaná

24.10 €

Grundlagen des Usability-Engineering Marcel Thum

Brožovaná

16.20 €

SPUREN - Die Opfer des NSU

DVD

18.93 €

STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield

Brožovaná

18.32 €

Decirte adiós con un te quiero SILVIA CARPALLO

Brožovaná

20.25 €

LED ZEPPELIN MICK WALL

Brožovaná

30.68 €

Abraham l'Hebreu - Ministre de Dieu David Daniel Agou

Brožovaná

22.68 €

Schäden an polymeren Beschichtungen. Robert Engelfried

Pevná

43.54 €

Vengeful - Die Rache ist mein V. E. Schwab

Brožovaná

15.69 €

Grossbuchstaben Geschichten 2 Sara Quast

Brožovaná

5.66 €

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.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Model Checking Software

Autor Antti Valmari

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2006

Počet strán 308

EAN 9783540331025

ISBN 3540331026

Libristo kód 01561845

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 1010

Rozmery 155 x 19 x 19

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Operačné systémy

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Thirteenth Bullet Cotton Smith

Brožovaná

7.38 €

Riveted Meljean Brook

Brožovaná

19.23 €

Cadogan Guide Cairo, Luxor and Aswan Michael Haag

Brožovaná

20.04 €

Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan

Brožovaná

12.75 €

Nuclear Medicine Dibya Prakash

Brožovaná

50.63 €

International Relations Theory Michael Haas

Pevná

127.91 €

Spanish Notebook Christopher Buckley

Brožovaná

14.98 €

Wages of Sin Kaite Welsh

Brožovaná

13.97 €

Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt

Brožovaná

9.81 €

Handbook of Macroeconomics J B Taylor

Pevná

147.36 €

Picasso Anna Coliva

Pevná

48.20 €

Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing

Brožovaná

6.37 €

Dancing with Sophia Brian Schroeder

Brožovaná

47.49 €

Beginner's Guide to Chinese Brush Painting Susan Self

Pevná

10.02 €

Once Upon a Winter Tennant Tilly Tennant

Brožovaná

11.23 €

Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education

Brožovaná

7.18 €