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

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Dragan Bosnacki
Codul Libristo: 02961433
Editura Springer International Publishing AG, aprilie 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Descrierea completă
? points 132 b
286.33 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Match Jones Bolt / Carte Copertă tare
common.buy 152.61 lei
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Carte Carte broșată
common.buy 70.25 lei
Postkarten-Set George Barbier George Barbier / Carte Carte broșată
common.buy 31.10 lei
Ositos de peluche adorables libro para colorear 2 Nick Snels / Carte Carte broșată
common.buy 57.20 lei
Les Breves de Fin du Monde Noyé / Carte Carte broșată
common.buy 51.77 lei
Destruidor - Parte Nove Sky Corgan / E-book Adobe ePub DRM
common.buy 5.21 lei
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Carte Carte broșată
common.buy 218.27 lei
LEGO® City Joyeux Noël AMEET Studio / Carte Carte
common.buy 63.04 lei
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Carte Carte broșată
common.buy 110.85 lei
Legendes de Noel M G Lenotre / Carte Carte broșată
common.buy 102.61 lei
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica. Florian Ion Tiberiu Petrescu / Carte Carte broșată
common.buy 34.33 lei
Ajeduca 4. Escobar Domínguez / Carte Carte broșată
common.buy 70.25 lei
Naufragio : la historia olvidada del Vapor Príncipe de Asturias, hundido el 5 de marzo de 1916 con más de 600 personas a bordo Francisco García Novell / Carte Carte broșată
common.buy 181.53 lei
CUARTO MOSQUETERO, EL Riccardo Freda / Carte Carte broșată
common.buy 63.04 lei
Moutons Et Colons En Patagonie Fernando Coronato / Carte Carte broșată
common.buy 524.56 lei
Ursprachlehre Friedrich Schmitthenner / Carte Copertă tare
common.buy 541.78 lei
Psychologische Typen Carl G. Jung / Carte Carte broșată
common.buy 332.58 lei
François Truffaut Robert Ingram / Carte Copertă tare
common.buy 78.49 lei

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

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, Anton Wijs
Limba engleză
Legare Carte - Carte broșată
Data publicării 2016
Număr pagini 245
EAN 9783319325811
ISBN 3319325817
Codul Libristo 02961433
Editura Springer International Publishing AG
Greutatea 4044
Dimensiuni 155 x 235 x 235

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 > Mathematical theory of computation
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

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Carte Copertă tare
common.buy 571.12 lei
Wiel Arets - Bas Princen John Bezold / Carte Copertă tare
common.buy 491.98 lei
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Carte Copertă tare
common.buy 200.42 lei
The Cheyenne Pool Lewis B Patten / Carte Copertă tare
common.buy 216.29 lei
Performances of Injustice Gabrielle (University of Warwick) Lynch / Carte Copertă tare
common.buy 387.38 lei
Shadow Lost D K Holmberg / Carte Carte broșată
common.buy 72.12 lei
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Carte Carte broșată
common.buy 86.53 lei
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Carte Carte broșată
common.buy 47.17 lei
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Carte Carte broșată
common.buy 87.16 lei
Missouri Birds James Kavanagh / Carte Carte broșată
common.buy 48.43 lei
Top
The Architect's Apprentice Elif Shafak / Carte Carte broșată
common.buy 79.95 lei
Modern Feminist Theory Jennifer Rich / Carte Carte broșată
common.buy 85.59 lei
Alcoholism Ernest Holmes / Carte Carte broșată
common.buy 51.04 lei
Mediterranean Ecosystems G. Spezie / Carte Carte broșată
common.buy 1 140.47 lei
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Carte Carte broșată
common.buy 71.29 lei
Roman Catholic Modernists Confront the Great War C. Talar / Carte Copertă tare
common.buy 307.63 lei
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Carte Carte broșată
common.buy 571.12 lei
Top Nou
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Carte Copertă tare
common.buy 194.78 lei
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Carte Copertă tare
common.buy 695.65 lei
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Carte Carte broșată
common.buy 82.15 lei
Bears Don't Read! Emma Chichester Clark / Carte Copertă tare
common.buy 82.35 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