Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Model Checking Software

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Patrick Godefroid
Codul Libristo: 01560970
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Die Transformatoren R. Küchler / Carte Carte broșată
common.buy 426.69 lei
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / E-book Adobe ePub DRM
common.buy 13.86 lei
Curând
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Joc / Jucărie Jucărie
common.buy 413.87 lei
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / E-book Adobe ePub DRM
common.buy 4.99 lei
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Carte Carte broșată
common.buy 39.51 lei
Global Tools (1973-1975) / Carte Copertă tare
common.buy 223.67 lei
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Carte Carte broșată
common.buy 107.92 lei
Ineos Grenadier Jörg Sand / Carte Copertă tare
common.buy 88.63 lei
Šťastie na prenájom Lucia Braunová / Carte Carte broșată
common.buy 37.95 lei
Passwort Logbuch Uwe H. Sültz / Carte Carte broșată
common.buy 25.43 lei
SLOVO BUDHOVO Nyánatiloka Maháthera / Carte Carte
common.buy 39.72 lei
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Carte Carte broșată
common.buy 60.78 lei
La Region Mas Transparente Carlos Fuentes / Carte Carte broșată
common.buy 96.24 lei
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Carte Carte broșată
common.buy 237.95 lei
Aronia - Das heimische Superfood Tanja Braune / Carte Carte broșată
common.buy 88.63 lei
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Carte Carte broșată
common.buy 34.30 lei
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Carte Carte broșată
common.buy 150.05 lei
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Carte Carte broșată
common.buy 91.44 lei
Les Petits Loustics Hugues Denisot / Carte Carte broșată
common.buy 81.22 lei
Ingenieurbauführer Berlin Roland May / Carte Carte broșată
common.buy 140.97 lei
Main de fer et gant de velours Virginie Platel / Carte Carte broșată
common.buy 120.12 lei
En Ovantad flykt till Sverige Tadesse Kassa / Carte Carte broșată
common.buy 60.78 lei
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Carte Carte broșată
common.buy 44.73 lei

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Model Checking Software
Autor Patrick Godefroid
Limba engleză
Legare Carte - Carte broșată
Data publicării 2005
Număr pagini 292
EAN 9783540281955
ISBN 3540281959
Codul Libristo 01560970
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 960
Dimensiuni 155 x 235 x 17

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Mini Look & Find at School (Mini Look & Find) Thierry Laval / Carte Copertă tare
common.buy 53.59 lei
Across the Seasons Laura Rugel Glise / Carte Carte broșată
common.buy 106.35 lei
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Carte Carte broșată
common.buy 110.94 lei
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Carte Copertă tare
common.buy 1 147.26 lei
Home On Bramble Hill Holly Martin / Audiobook MP3
common.buy 79.45 lei
Not in the Flesh Ruth Rendell / Carte Carte broșată
common.buy 86.44 lei
Lakeland Lynn M. Homan / Carte Carte broșată
common.buy 109.69 lei
The English Baptists John Clifford / Carte Copertă tare
common.buy 227.84 lei
White Cats Book Marjo-Kaisu Niinikoski / Carte Carte broșată
common.buy 116.78 lei
Gabriella's Reading Log Martha Day Zschock / Carte Copertă tare
common.buy 87.90 lei
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Carte Carte broșată
common.buy 198.43 lei
Lightning Strikes Stephanie Richards / Carte Carte broșată
common.buy 75.80 lei
GREAT CAROLS Hal Leonard Corp / Carte Carte broșată
common.buy 69.44 lei
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Carte Carte broșată
common.buy 49.11 lei
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Carte Carte broșată
common.buy 81.85 lei
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Carte Carte broșată
common.buy 55.36 lei
Double Digit Annabel Monaghan / E-book Adobe ePub DRM
common.buy 13.02 lei
Understanding FIDIC Kelvin Hughes / Carte Copertă tare
common.buy 976.34 lei
Horrible Craft Book Laura Minter / Carte Carte broșată
common.buy 87.90 lei
Georgian Tinatin Bolkvadze / Carte Copertă tare
common.buy 1 033.38 lei
Fishing Holidays Stephen Gwynn / Carte Carte broșată
common.buy 132.63 lei
Fist Number 6 Dean Whittington / Carte Copertă tare
common.buy 149.63 lei
Hegel J. M. Fritzman / Carte Carte broșată
common.buy 157.03 lei
African Women and Apartheid Rebekah Lee / Carte Copertă tare
common.buy 975.20 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo