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

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Dragan Bosnacki
Codul Libristo: 01568802
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2007
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Grundlinien der Philosophie D. Fr. Ast / Carte Carte broșată
common.buy 262.56 lei
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Carte Carte broșată
common.buy 188.73 lei
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Carte Carte broșată
common.buy 53.17 lei
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Carte Carte broșată
common.buy 198.43 lei
LES PEINTURES Beeckman / Carte Carte broșată
common.buy 59.95 lei
Top
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Carte Carte broșată
common.buy 78.20 lei
Ötanazi Okulu 1 Ciltli / Carte Carte broșată
common.buy 111.36 lei
Top
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Carte Carte broșată
common.buy 121.79 lei
Pasta Masterclass Wiebke Krabbe / Carte Copertă tare
common.buy 140.97 lei
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Carte Carte broșată
common.buy 219.70 lei
Krevní banka Tanya Huffová / Carte Carte broșată
common.buy 42.95 lei
Das Quiz für Besserwisser I ab 10 Jahren / Carte Copertă tare
common.buy 36.90 lei
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Carte Carte broșată
common.buy 182.16 lei
Senzibil Markéta Pilátová / Carte Copertă tare
common.buy 62.97 lei
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Carte Carte broșată
common.buy 143.06 lei
Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi / Carte Carte broșată
common.buy 89.46 lei
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Carte Carte broșată
common.buy 93.32 lei
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Carte Carte broșată
common.buy 48.90 lei
Leftin
Raphael und Pinturicchio in Siena August Schmarsow / Carte Carte broșată
common.buy 8.02 lei
Sally y la maldición del rubí PULLMAN / Carte Carte broșată
common.buy 42.12 lei
La psicología en la escuela Delval / Carte Carte broșată
common.buy 96.24 lei
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Carte Carte broșată
common.buy 293.85 lei

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

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 Dragan Bosnacki, Stefan Edelkamp
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 285
EAN 9783540733690
ISBN 3540733698
Codul Libristo 01568802
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 462
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

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Carte Carte broșată
common.buy 81.85 lei
Space Warfare in the 21st Century Joan Johnson-Freese / Carte Carte broșată
common.buy 321.58 lei
First Man Simon Schwartz / Carte Copertă tare
common.buy 191.13 lei
Islam in Turkey Frances Hawker / Carte Carte broșată
common.buy 46.91 lei
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Carte Carte broșată
common.buy 71.84 lei
Facebook Marketing Guide for Beginners Steven Murphy / Carte Carte broșată
common.buy 67.56 lei
Drug And Disease Free Michael Broder / Carte Carte broșată
common.buy 55.36 lei
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Carte Copertă tare
common.buy 422.84 lei
Around the World in 80 Days Jules Verne / Carte Carte broșată
common.buy 43.37 lei
Top
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Carte Carte broșată
common.buy 199.79 lei
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Carte Carte broșată
common.buy 58.38 lei
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Carte Carte broșată
common.buy 176.95 lei
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Carte Carte broșată
common.buy 78.61 lei
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / E-book Adobe ePub DRM
common.buy 1 931.32 lei
Centroeuropa Vincente Luis Mora / Carte Carte broșată
common.buy 66.41 lei
Clinical Oral Pathology Nabil Kochaji / Carte Copertă tare
common.buy 558.71 lei
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Carte Copertă tare
common.buy 424.09 lei
Deregulation of Network Industries Sam Peltzman / Carte Carte broșată
common.buy 181.75 lei
Little Men Louisa May Alcott / Carte Carte broșată
common.buy 60.58 lei
Braided Rivers: Process, Deposits, Ecology, Management Jim Best / Carte Carte broșată
common.buy 938.28 lei
Swahili for Foreigners Alice Wanjiku Mangat / Carte Carte broșată
common.buy 278.62 lei
Preaching the Tradition Rex Mason / Carte Carte broșată
common.buy 264.44 lei
Contact! Bob Tuxford / Carte Copertă tare
common.buy 169.34 lei
MOD Richard Weight / Carte Carte broșată
common.buy 89.88 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