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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Tools and Algorithms for the Construction and Analysis of Systems Marsha Chechik
Codul Libristo: 02937110
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2016
This book§constitutes the proceedings of the 22nd International Conference on Tools and§Algorithms f... Descrierea completă
? points 132 b
287.52 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Auswirkungen des MGNREGA auf die Landwirtschaft Thangamalar Selvaraj / Carte Carte broșată
common.buy 179.66 lei
Escursioni sul Monte Grappa. 19 itinerari adatti a tutti Gianni Pasquale / Carte Carte broșată
common.buy 55.65 lei
FUNK INVESTIGATORS ZANINI / Carte Carte
common.buy 184.48 lei
Sehbehinderung Und Soziale Kompetenz Elke Wagner / Carte Carte broșată
common.buy 731.03 lei
Card Captor Sakura Clear Card Arc 12 CLAMP / Carte Carte broșată
common.buy 40.35 lei
Encyklopädie der Staatswissenschaften Robert von Mohl / Carte Carte broșată
common.buy 174.84 lei
Die Abendburg Bruno Wille / Carte Carte broșată
common.buy 263.94 lei
Benim Kücük Prensesim Nilüfer Sultan / Carte Carte broșată
common.buy 37.31 lei
Probiern wir`s halt mit dem Weib einmal! / Carte Carte broșată
common.buy 51.04 lei
Randnotizen und Sprecherwechsel in der Edda-Handschrift Codex Regius am Beispiel der Lokasenna Fabian Schwabe / Carte Carte broșată
common.buy 90.35 lei
Experimental Designs: Exercises and Solutions D. G. Kabe / Carte Carte broșată
common.buy 281.55 lei

This book§constitutes the proceedings of the 22nd International Conference on Tools and§Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took§place in Eindhoven, The Netherlands, in April 2016, held as Part of the§European Joint Conferences on Theory and Practice of Software, ETAPS 2016.§§The 44 full papers presented in this volume were carefully reviewed and selected§from 175 submissions. They were organized in topical sections named: abstraction§and verification; probabilistic and stochastic systems; synthesis; tool papers;§concurrency; tool demos; languages and automata; security; optimization; and§competition on software verification - SV-COMP.§

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 Tools and Algorithms for the Construction and Analysis of Systems
Autor Marsha Chechik, Jean-François Raskin
Limba engleză
Legare Carte - Carte broșată
Data publicării 2016
Număr pagini 961
EAN 9783662496732
ISBN 3662496739
Codul Libristo 02937110
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1457
Dimensiuni 155 x 235 x 55

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Systems analysis & design
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

Birth of Energy Cara New Daggett / Carte Copertă tare
common.buy 592.87 lei
Curând
Global Epidemiology Of Cancer Randall E. Harris / Carte Carte broșată
common.buy 474.32 lei
Pennsylvania Trees & Wildflowers: An Introduction to Familiar Species James Kavanagh / Carte Copertă tare
common.buy 51.25 lei
Strategic Performance Management De Waal Andre / Carte Carte broșată
common.buy 485.96 lei
Early Continent Evolution of the North China Craton Mingguo Zhai / Carte Carte broșată
common.buy 687.01 lei
Part time racer...Full time broke: The motorsport adventures of a club racer Ross P. Loram / Carte Carte broșată
common.buy 67.39 lei
Try A Peek Into Newport Beach vol. 2 Kory Rangel / Carte Carte broșată
common.buy 82.49 lei
Ascend M Anderson / Carte Carte broșată
common.buy 111.94 lei
Logic Puzzles Snake: 3 Levels: Easy, Medium and Hard. Aenigmatis / Carte Carte broșată
common.buy 67.39 lei
INSTRUMENTAL PLAYALONG SONGS FROM MOVIE MUSICALS VLC BK/AUDIO Hal Leonard Publishing Corporation / Carte Carte broșată
common.buy 69.80 lei
Lost Tramways of England: Bolton, SLT, Wigan and St Helens Peter Waller / Carte Copertă tare
common.buy 61.73 lei
Chatty Cats in France: Waldo the Magnificent Mary Walker / Carte Carte broșată
common.buy 39.93 lei
Lewes Lavater: Of Ghosts and Spirits Walking By Night 1572 J. Dover Wilson / Carte Carte broșată
common.buy 159.53 lei
Cruciformity: Paul's Narrative Spirituality of the Cross, 20th Anniversary Edition Nijay K. Gupta / Carte Carte broșată
common.buy 200.62 lei
Fracking and the Environment Daniel J. Soeder / Carte Carte broșată
common.buy 798.02 lei
Oscillations in Mathematical Biology J. P. E. Hodgson / Carte Carte broșată
common.buy 287.52 lei
Medieval Cities Henri Pirenne / Carte Carte broșată
common.buy 80.07 lei
Tawbah Ibn Qayyim Al-Jawziyyah / Carte Carte broșată
common.buy 133.54 lei
Alice's Nightmare in Wonderland Colouring Book Jonathan Green / Carte Carte broșată
common.buy 85.95 lei
Ethics and Children's Literature Claudia Mills / Carte Copertă tare
common.buy 1 347.71 lei
Joyce, Chaos, and Complexity Thomas Jackson Rice / Carte Carte broșată
common.buy 142.76 lei
Corporate Governance in Modern Financial Capital - Old Mutual's Hostile Takeover of Skandia Markus Kallifatides / Carte Copertă tare
common.buy 1 052.43 lei
Lessons in Islamic Jurisprudence Muhammad Baqir As-Sadr / Carte Carte broșată
common.buy 180.71 lei
Peripheral Vascular Stenting, Second Edition Richard R. Heuser / Carte Copertă tare
common.buy 1 095.82 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