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

10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Thomas Ball
Codul Libristo: 01562615
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2003
This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Mode... 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

Joe Kennedy - Le pouvoir et la malédiction Georges Ayache / Carte Carte broșată
common.buy 153.66 lei
AERONAUTIQUE NAVALE EN ALGERIE (1954-1962) ROBIN / Carte Copertă tare
common.buy 284.40 lei
¡SIN PASAPORTE! BARGOS CUCO / Carte Copertă tare
common.buy 112.06 lei
Analyse économique Inna Bova / Carte Carte broșată
common.buy 178.68 lei
LA MAGIA DE LA COMUNICACION SAENZ DE URTURI / Carte Carte broșată
common.buy 144.17 lei
La Legende du Pere Noel Asso / Audiobook MP3
common.buy 20.84 lei
Harry Potter 3: Harry Potter a väzeň z Azkabanu, 6., revidované vydanie (farebná oriezka) Joanne K. Rowling / Carte Copertă tare
common.buy 103.72 lei
Made in America: Mi Historia Sam Walton / Carte Carte broșată
common.buy 75.58 lei
Lucerna 19. května 1978 Švehlík & Amalgam / Audio Audio CD
common.buy 37.73 lei
Blick auf den Topkapi Palast (Puzzle) Rico Ködder / Joc / Jucărie Joc
common.buy 180.46 lei
Impertinentes: El desgarro de pensar Fullat i Genís / Carte Carte broșată
common.buy 183.69 lei
Miguel Ángel : escultor, pintor y arquitecto Károly Tolnay / Carte Carte broșată
common.buy 315.47 lei
N'Oublie Pas Mes Petits Souliers Joseph Connolly / Carte Carte broșată
common.buy 60.35 lei
Diffusion Imprim e de la Chanson Fran aise En Italie Au Xvie Si cle Tome II Marinella Laini / Carte Carte broșată
common.buy 440.47 lei
Kinderwagen- & Tragetouren um und in München Elisabeth Göllner-Kampel / Carte Carte broșată
common.buy 79.85 lei
Sozialpolitisches Handbuch Heinrich Lux / Carte Carte broșată
common.buy 198.39 lei
Lebensbilder I Honoré de Balzac / Carte Copertă tare
common.buy 148.97 lei
Mensch sein, Mensch bleiben, Mensch verstehen! Mikel Marz / Carte Carte broșată
common.buy 85.06 lei
Entwicklung der Biographik vom 18. Jh. bis heute am Beispiel ausgewahlter Mozartbiographien Katja Schulz / Carte Carte broșată
common.buy 89.86 lei

This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as  an ICSE 2003 satellite workshop.§The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book  presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

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 Thomas Ball, Sriram K. Rajamani
Limba engleză
Legare Carte - Carte broșată
Data publicării 2003
Număr pagini 241
EAN 9783540401179
ISBN 3540401172
Codul Libristo 01562615
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 400
Dimensiuni 155 x 233 x 15

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 > Information technology: general issues
Computing & Information Technology > Business applications
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

Inflation and Unemployment in a Monetary Union Michael Carlberg / Carte Copertă tare
common.buy 601.65 lei
Handbook On Family And Community Engagement Marilyn Murphy / Carte Carte broșată
common.buy 302.43 lei
Teacher Guide Year 6 Collins Uk / Carte Cu spiră
common.buy 748.54 lei
Glencoe Language Arts, Grade 7 / Carte Copertă tare
common.buy 621.98 lei
Vampires, Race, and Transnational Hollywoods HUDSON DALE / Carte Copertă tare
common.buy 780.24 lei
Black Veins (Anniversary Edition) Ashia Monet / Carte Carte broșată
common.buy 71.20 lei
Fuck Stick Swear Word Coloring Book for Adults: swear word coloring book for adults stress relieving designs 8.5" X 11" Mandala Designs 54 Pages Mandala Swearing Books Publishing Co / Carte Carte broșată
common.buy 42.32 lei
A Statement of the Facts and Circumstances Connected with the Late Trial of Dr. A.A. Muller, Late Rector of Trinity Church, Clarksville, Tenn., by Whi MULLER / Carte Carte broșată
common.buy 66.61 lei
Taking Flight Melinda Sutherland / Carte Carte broșată
common.buy 76.83 lei
7 Steps To Becoming A Successful eBay Power Seller Demarious Bowens / Carte Carte broșată
common.buy 47.11 lei
Population Change in the United States Michael E. Cline / Carte Carte broșată
common.buy 285.96 lei
Machinery's Handbook Toolbox Erik Oberg / Carte Copertă tare
common.buy 817.66 lei
It's Never The End: Past Lives Present Destiny Alex Raco / Carte Carte broșată
common.buy 54.52 lei
Sonnets and Epigrams on Sacred Subjects Thomas Edward Bridgett / Carte Carte broșată
common.buy 70.15 lei
British Navy Thomas Brassey / Carte Carte broșată
common.buy 242.49 lei
Curând
Anisotropic Nanoparticles: Volume 635 C. D. KeatingL. A. LyonP. SearsonS. J. Stranick / Carte Copertă tare
common.buy 139.59 lei
Physiocracy, Antiphysiocracy and Pfeiffer Jürgen Backhaus / Carte Carte broșată
common.buy 570.37 lei
Dutch Wars of Independence Marjolein t´Hart / Carte Carte broșată
common.buy 372.81 lei
Top
Harry Potter: Patronus Mini Projector Set RUNNING PRESS / Joc / Jucărie Jucărie
common.buy 66.40 lei
Contentious Politics in the Middle East Fawaz A. Gerges / Carte Copertă tare
common.buy 601.65 lei
Top
Watchmaking George Daniels / Carte Copertă tare
common.buy 324.54 lei
Concise Guide to Value Investing Brian McNiven / Carte Carte broșată
common.buy 141.57 lei
Frauds Exposed Anthony Comstock / Carte Carte broșată
common.buy 148.45 lei
30 Innovations of the Russian Engineer Anatoly Rozenblat / Carte Carte broșată
common.buy 108.94 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?