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

8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Matthew Dwyer
Codul Libristo: 01563494
Editura Springer, Berlin, noiembrie 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh / Carte Carte broșată
common.buy 272.20 lei
Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue / E-book Adobe ePub DRM
common.buy 78.18 lei
Vláček a jeho kamarádi / Carte Cărți pliante
common.buy 65.57 lei
Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora / Carte Carte broșată
common.buy 32.72 lei
Las Historias Del Origen De Los Indios De Esta Provincia De Guatemala, Tr. Por F. Ximenez. Publ. Y Aumentado Con Una Intr. Y Anotaciones Por C. Scherz Popol-vuh / Carte Carte broșată
common.buy 116.96 lei
Curând
GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová / Materiale tipărite Cărți
common.buy 104.24 lei
Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA / Carte Carte broșată
common.buy 223.41 lei
Tokos Gianna Hedderich / Carte Carte broșată
common.buy 190.78 lei
MI Jevgenyij Zamjatyin / Carte Copertă tare
common.buy 57.75 lei
Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Calendar / Agendă Calendar
common.buy 408.36 lei
G_d'S Pee at State'S End! Godspeed You! Black Emperor Audio Audio plăci vinil
common.buy 209.54 lei
Číňan Henning Mankell / Carte Copertă tare
common.buy 65.57 lei
Shopkins Cicibiciler - Mutsuz Kurabi / Carte Carte broșată
common.buy 116.76 lei
Český jazyk pro 3. ročník SOŠ Čechová / Carte Carte broșată
common.buy 44.30 lei
Postdemokratie Colin Crouch / Carte Carte broșată
common.buy 60.77 lei
Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski / Carte Carte broșată
common.buy 89.86 lei
Treasurers of the Snow Patricia St John / Carte Carte broșată
common.buy 80.79 lei
La casa de Tomasa Phyllis Root / Carte Carte broșată
common.buy 125.10 lei
Aguas arriba de mi madre Arnáiz / Carte Carte broșată
common.buy 120.92 lei
Fiat 850. 1964-1973 Alessandro Sannia / Carte Carte broșată
common.buy 118.94 lei
Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux / Carte Carte broșată
common.buy 119.15 lei
Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles / Carte Carte broșată
common.buy 59.73 lei
La bible de l'homéopathie et des traitements naturels Alain Paul / Carte Carte broșată
common.buy 150.22 lei
Leftin
Mafiánsky gang Sýkorovcov + DVD Gustáv Murín / Carte Copertă tare
common.buy 59.10 lei

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

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 Matthew Dwyer
Limba engleză
Legare Carte - Carte broșată
Data publicării 2001
Număr pagini 318
EAN 9783540421245
ISBN 3540421246
Codul Libristo 01563494
Editura Springer, Berlin
Greutatea 467
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

Damnation Peter McLean / Carte Carte broșată
common.buy 65.36 lei
Do Vikings Wear Glasses? Jon Laidlaw / Carte Carte broșată
common.buy 81.00 lei
Cracked Chessboard Elizabeth Emberton / Carte Carte broșată
common.buy 101.64 lei
Leisure Marketing HORNER / Carte Copertă tare
common.buy 1 557.56 lei
Philip Roth: Nemeses (LOA #237) Philip Roth / Carte Copertă tare
common.buy 142.40 lei
Benjamin Franklin: His Life as He Wrote It Benjamin Franklin / Carte Carte broșată
common.buy 174.51 lei
Three Nearsighted Mice Diane Epstein / Carte Carte broșată
common.buy 87.04 lei
Top
Hollow MYERS CELINA / Carte Copertă tare
common.buy 116.34 lei
Oxford Handbook of International Criminal Law Darryl Robinson / Carte Carte broșată
common.buy 305.46 lei
Finally Enough Love Madonna / Audio Audio plăci vinil
common.buy 179.31 lei
History of Market Drayton John Robinson Lee / Carte Carte broșată
common.buy 95.28 lei
Raemakers' Cartoons: With Accompanying Notes by Well-Known English Writers Louis Raemaekers / Carte Carte broșată
common.buy 174.10 lei
Prince Charming Charity L Maness / Carte Carte broșată
common.buy 57.12 lei
A Prayer for Inner Peace Allan A Glatthorn / Carte Carte broșată
common.buy 66.82 lei
Telecommunications Handbook for Transportation Professionals: The Basics of Telecommunications U S Department of Transportation / Carte Carte broșată
common.buy 96.84 lei
Love and War Warren MacQuarrie / Carte Copertă tare
common.buy 226.02 lei
Lonely Hearts Cry Anji Nolan / Carte Carte broșată
common.buy 84.23 lei
Saint of Lost Things Tish Delaney / E-book Adobe ePub DRM
common.buy 52.12 lei
Data Governance Act Moritz Hennemann / Carte Copertă tare
common.buy 990.62 lei
American Nation: A History, Vol. 9 Jeremy Schifeling / Audiobook MP3
common.buy 105.50 lei
My School Improvement Doodle Book Ben Keeling / Carte Carte broșată
common.buy 82.25 lei
Underdog Sue-Ann Levy / Carte Copertă tare
common.buy 163.04 lei
Oxford English for Academic Purposes B1+ Teacher's Handbook de Chazal Edward / Carte Carte broșată
common.buy 293.99 lei
Nine Man Eaters and One Rogue Kenneth Anderson / Carte Carte broșată
common.buy 132.60 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