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

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Jaco C. van de Pol
Codul Libristo: 01656755
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Descrierea completă
? points 148 b
321.93 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Star Wars Hidden Empire T02 / Carte Carte broșată
common.buy 113.88 lei
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendar / Agendă Calendar
common.buy 300.22 lei
Be Kind (Nepali-English) Livia Lemgruber / Carte Carte broșată
common.buy 96.34 lei
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Calendar / Agendă Agendă
common.buy 56.99 lei
Den Libanon lieben lernen Laura Ziegler / Carte Carte broșată
common.buy 41.12 lei
Diamante Nero Victoria Quinn / Carte Carte broșată
common.buy 87.16 lei
Die besten Aufstriche selbst gemacht Charly Till / Carte Carte broșată
common.buy 48.01 lei
Textanfänge Ulrike Krieg-Holz / Carte Carte broșată
common.buy 261.28 lei
Raketa Hravá kniha pro děti collegium / Carte Carte broșată
common.buy 67.43 lei
Nach dem bewaffneten Kampf Angelika Holderberg / Carte Carte broșată
common.buy 53.23 lei
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Carte Carte broșată
common.buy 75.47 lei
Uzniki Razuma Tat'yana Volkova / Carte Carte broșată
common.buy 291.97 lei

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

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 Jaco C. van de Pol, Michael Weber
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 263
EAN 9783642161636
ISBN 3642161634
Codul Libristo 01656755
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 421
Dimensiuni 159 x 235 x 18

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Mathematical theory of computation
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

Sword Song Sal Quartuccio / Carte Carte broșată
common.buy 107.62 lei
Myofascial Induction (TM) Andrzej Pilat / Carte Copertă tare
common.buy 837.83 lei
Down the Highway: The Life of Bob Dylan Howard Sounes / Carte Carte broșată
common.buy 96.55 lei
The Shadow Lily Johanna Mo / Carte Carte broșată
common.buy 73.90 lei
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Carte Carte broșată
common.buy 38.51 lei
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Carte Carte broșată
common.buy 75.47 lei
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Carte Carte broșată
common.buy 41.75 lei
History of Wyoming; Volume 1 Ichabod S. Bartlett / Carte Carte broșată
common.buy 174.32 lei
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Carte Carte broșată
common.buy 80.89 lei
Shadowless Alison Robinson / Carte Copertă tare
common.buy 100.41 lei
Harbor Knight Ralph A Garcia / Carte Carte broșată
common.buy 87.99 lei
Best Is Always... Still Yet to Come! Keith Payne / Carte Carte broșată
common.buy 96.34 lei
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Carte Copertă tare
common.buy 242.39 lei
Tour to London Pierre Jean Grosley / Carte Carte broșată
common.buy 135.59 lei
Boxer's Bible of Counterpunching Mark Hatmaker / Carte Carte broșată
common.buy 63.46 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