Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Model Checking Software

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Model Checking Software Thomas Ball
Libristo kod: 01562615
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, travanj 2003
This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Mode... Cijeli opis
? points 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Mensch sein, Mensch bleiben, Mensch verstehen! Mikel Marz / Knjiga Meki uvez
common.buy 15.26 €
Top
Harry Potter 3: Harry Potter a väzeň z Azkabanu, 6., revidované vydanie (farebná oriezka) Joanne K. Rowling / Knjiga Tvrdi uvez
common.buy 18.60 €
Se eka Hauhia / Audio knjiga MP3
common.buy 6.77 €
La Legende du Pere Noel Asso / Audio knjiga MP3
common.buy 3.83 €
LA MAGIA DE LA COMUNICACION SAENZ DE URTURI / Knjiga Meki uvez
common.buy 22.35 €
Analyse économique Inna Bova / Knjiga Meki uvez
common.buy 32.06 €
Dom na azúrovom pobreží TJ Klune / Knjiga Meki uvez
common.buy 16.07 €
¡SIN PASAPORTE! BARGOS CUCO / Knjiga Tvrdi uvez
common.buy 20.22 €
AERONAUTIQUE NAVALE EN ALGERIE (1954-1962) ROBIN / Knjiga Tvrdi uvez
common.buy 51.38 €
Joe Kennedy - Le pouvoir et la malédiction Georges Ayache / Knjiga Meki uvez
common.buy 27.71 €
Blick auf den Topkapi Palast (Puzzle) Rico Ködder / Igra/Igračka Igra
common.buy 32.26 €
Lebensbilder I Honoré de Balzac / Knjiga Tvrdi uvez
common.buy 26.80 €
Sozialpolitisches Handbuch Heinrich Lux / Knjiga Meki uvez
common.buy 35.70 €
Kinderwagen- & Tragetouren um und in München Elisabeth Göllner-Kampel / Knjiga Meki uvez
common.buy 14.35 €
Diffusion Imprim e de la Chanson Fran aise En Italie Au Xvie Si cle Tome II Marinella Laini / Knjiga Meki uvez
common.buy 79.20 €
Cicerone Jacob Burckhardt / Knjiga Meki uvez
common.buy 35.29 €
N'Oublie Pas Mes Petits Souliers Joseph Connolly / Knjiga Meki uvez
common.buy 10.71 €
Miguel Ángel : escultor, pintor y arquitecto Károly Tolnay / Knjiga Meki uvez
common.buy 56.94 €
Made in America: Mi Historia Sam Walton / Knjiga Meki uvez
common.buy 14.25 €
Impertinentes: El desgarro de pensar Fullat i Genís / Knjiga Meki uvez
common.buy 33.27 €
Lucerna 19. května 1978 Švehlík & Amalgam / Audio Audio CD
common.buy 6.77 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Model Checking Software
Autor Thomas Ball, Sriram K. Rajamani
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2003
Broj stranica 241
EAN 9783540401179
ISBN 3540401172
Libristo kod 01562615
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 400
Dimenzije 155 x 233 x 15

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Inflation and Unemployment in a Monetary Union Michael Carlberg / Knjiga Tvrdi uvez
common.buy 109.44 €
Chemical Sensors Peter Gründler / Knjiga Tvrdi uvez
common.buy 151.93 €
Remarks on Davis Strait, Baffin Bay Smith Sound, and the Channels Thence Northward to 82 1/4 N. Compiled from Various Authorities. [A Revised Edition Anonymous / Knjiga Meki uvez
common.buy 14.15 €
7 Steps To Becoming A Successful eBay Power Seller Demarious Bowens / Knjiga Meki uvez
common.buy 8.59 €
30 Innovations of the Russian Engineer Anatoly Rozenblat / Knjiga Meki uvez
common.buy 17.59 €
Handbook On Family And Community Engagement Marilyn Murphy / Knjiga Meki uvez
common.buy 55.02 €
Teacher Guide Year 6 Collins Uk / Knjiga Spiralni uvez
common.buy 137.87 €
Sonnets and Epigrams on Sacred Subjects Thomas Edward Bridgett / Knjiga Meki uvez
common.buy 12.63 €
What You Should Know About Landscaping Your Garden Cindy Wright / Knjiga Meki uvez
common.buy 16.68 €
Detoxification of Patulin Shatha Ali Shafiq / Knjiga Meki uvez
common.buy 55.12 €
Vampires, Race, and Transnational Hollywoods HUDSON DALE / Knjiga Tvrdi uvez
common.buy 142.52 €
Population Change in the United States Michael E. Cline / Knjiga Meki uvez
common.buy 51.68 €
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 / Knjiga Meki uvez
common.buy 11.93 €
How to develop our personality: The best and useful ideas to develop our personality Gheorghe Cornel Ardelean / Knjiga Meki uvez
common.buy 8.59 €
Taking Flight Melinda Sutherland / Knjiga Meki uvez
common.buy 13.95 €
It's Never The End: Past Lives Present Destiny Alex Raco / Knjiga Meki uvez
common.buy 9.90 €
Top
Harry Potter: Patronus Mini Projector Set RUNNING PRESS / Igra/Igračka Igračka
common.buy 11.72 €
Black Veins (Anniversary Edition) Ashia Monet / Knjiga Meki uvez
common.buy 13.04 €
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 / Knjiga Meki uvez
common.buy 7.68 €
Machinery's Handbook Toolbox Erik Oberg / Knjiga Tvrdi uvez
common.buy 143.73 €
British Navy Thomas Brassey / Knjiga Meki uvez
common.buy 46.12 €
Pripremamo
Anisotropic Nanoparticles: Volume 635 C. D. KeatingL. A. LyonP. SearsonS. J. Stranick / Knjiga Tvrdi uvez
common.buy 24.27 €
Physiocracy, Antiphysiocracy and Pfeiffer Jürgen Backhaus / Knjiga Meki uvez
common.buy 102.97 €
Dutch Wars of Independence Marjolein t´Hart / Knjiga Meki uvez
common.buy 71.10 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun