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

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Ezio Bartocci
Codul Libristo: 01663942
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2013
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking... Descrierea completă
? points 132 b
285.22 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Ste. Roche Henriette Von Paalzow / Carte Carte broșată
common.buy 98.98 lei
Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann / Carte Carte broșată
common.buy 293.02 lei
Agora sou um professor digital, como ser um professor durante a pandemia.: Um dia estava dentro da sala de aula, outro dia estava dentro de uma plataf Odirlei Amaro Ferreira / Carte Carte broșată
common.buy 34.20 lei
Hisskillen i Lissabon Cupido / Audiobook MP3
common.buy 16.63 lei
Top
Puzzle 3x48 Peppa Pig / Joc / Jucărie Puzzle
common.buy 33.99 lei

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

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 Ezio Bartocci, C. R. Ramakrishnan
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 377
EAN 9783642391750
ISBN 3642391753
Codul Libristo 01663942
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 593
Dimensiuni 155 x 235 x 22

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
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

Organometallic Oxidation Catalysis Franc Meyer / Carte Carte broșată
common.buy 1 136.02 lei
Modern Syntheses of Cobalt (III) Complexes M. Shibata / Carte Carte broșată
common.buy 285.22 lei
Monteverdi: Vespers (1610) John (University of Birmingham) Whenham / Carte Copertă tare
common.buy 519.29 lei
Living the Beatles Legend Kenneth Womack / Carte Carte broșată
common.buy 77.98 lei
Memorable Edinburgh Houses Wilmot Harrison / Carte Copertă tare
common.buy 168.65 lei
Dingbat: Adventures in Trickle Valley Jennifer White / Carte Carte broșată
common.buy 51.98 lei
Pieter Vermeersch: Variations Dieter Roelstraete / Carte Carte broșată
common.buy 213.88 lei
52 Steps to Success Anthony Pan / Carte Carte broșată
common.buy 165.84 lei
Medical Spanish: A Workbook: Study Module 1 Craig A Sinkinson M D / Carte Carte broșată
common.buy 170.63 lei
Looking for Love with All the Wrong Husbands Tee Fuller / Carte Copertă tare
common.buy 214.40 lei
Finding Hope Dan Rogers / Carte Carte broșată
common.buy 86.82 lei
Media Strategies for Understanding Contemporary News in a Biased World Bradley K Smith / Carte Carte broșată
common.buy 80.16 lei
New Knebworth Edition. Edward George Earle Lytton Baron Bulwer / Carte Carte broșată
common.buy 173.64 lei
Cambridge English: First Masterclass: Teacher's Pack collegium / Carte Carte broșată
common.buy 178.84 lei
Extreme-occident Jean-Philippe Mathy / Carte Copertă tare
common.buy 596.55 lei
High Frequency Continuous Time Filters in Digital CMOS Processes Shanthi Pavan / Carte Carte broșată
common.buy 568.89 lei
National Federation of Women Workers, 1906-1921 Cathy Hunt / Carte Copertă tare
common.buy 600.08 lei
Greek Islands Korina Miller / Carte Carte broșată
common.buy 162.00 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?