phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Model Checking Software

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Antti Valmari
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
? points 154 b
61.28 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Handbuch Der Waffenkunde Wendelin Boeheim / Brožovaná
common.buy 87.34 €
Grossbuchstaben Geschichten 2 Sara Quast / Brožovaná
common.buy 7.03 €
Grundlagen des Usability-Engineering Marcel Thum / Brožovaná
common.buy 42.46 €
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Brožovaná
common.buy 120.75 €
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Brožovaná
common.buy 37.73 €
Schäden an polymeren Beschichtungen. Robert Engelfried / Pevná
common.buy 43.36 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Brožovaná
common.buy 15.99 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 / List
common.buy 13.98 €
I Bedrövelsens Mörker/ Aus dem Dunkel der Trübsal Erik J. Stagnelius / Pevná
common.buy 30.58 €

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.

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

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet