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 de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Verified Software: Theories, Tools and Experiments Dimitra Giannakopoulou
Codul Libristo: 06841788
Editura Springer International Publishing AG, octombrie 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Descrierea completă
? points 127 b
277.01 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Kognitive Kooperation in der Produktionssteuerung Tobias Wissing / Carte Carte broșată
common.buy 199.50 lei
Charles Dickens: Oliver Twist. Vollständige Neuausgabe DICKENS CHARLES / Carte Copertă tare
common.buy 110.56 lei
The Pug who wanted to be a Dinosaur Bella Swift / Carte Carte broșată
common.buy 49.07 lei
TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ / Carte Carte broșată
common.buy 179.37 lei
Vergleich Der Substantivflexion Im Gotischen Und Althochdeutschen Andy Schalm / Carte Carte broșată
common.buy 90.63 lei
Odontología deportiva: una perspectiva de futuro Ipseeta Menon / Carte Carte broșată
common.buy 359.27 lei
Confrontacion con el Santo Oficio Eduardo Aguirre Cancino / E-book Adobe ePub DRM
common.buy 52.35 lei
REVISTA TURIA 107 / Carte Carte
common.buy 95.94 lei
a a a a a a a a a a a a Rider Tiger Rider / Audiobook MP3
common.buy 17.97 lei
Towards Ancestral Lands Fir Bolg / Audio Audio CD
common.buy 116.28 lei
Histoire des jésuites Bled / Carte Carte broșată
common.buy 151.12 lei
Der Sonne so nah Axel S. Meyer / Carte Copertă tare
common.buy 114.06 lei
Mecanismes de Sequestration de la Tubuline Isabelle Jourdain / Carte Carte broșată
common.buy 398.90 lei
Love & Passion Jana Reich / Carte Carte broșată
common.buy 120.88 lei
Pfadfinder Majo Probst / Carte Carte broșată
common.buy 125.48 lei
Airport Simulator 2019 (PlayStation PS4) / Digital CD digital
common.buy 188.10 lei
Die Versorgung des Brandverletzten im Katastrophenfall Band 2 P. R. Zellner / Carte Carte broșată
common.buy 290.34 lei
Les Grecs, Ballet-Pantomime En Deux Actes Blache-F-A / Carte Carte broșată
common.buy 70.70 lei
Mediunidade Trevas Ou Luz Ricardo Max / Carte Carte broșată
common.buy 47.51 lei
Actitud de los docentes hacia un nuevo modelo educativo Gilberto Hernández Barrera / Carte Carte broșată
common.buy 578.48 lei
Percevoir : monde et langage Socks / Calendar / Agendă Calendar
common.buy 225.33 lei
Contribution La Mod lisation Num rique de la R ponse Sismique Abdelghani Seghir / Carte Carte broșată
common.buy 344.82 lei
Teoría de la figura humana Peter Paul Rubens / Carte Carte broșată
common.buy 62.38 lei
Encens Satya Super hit - 10 grs / Carte binding.
common.buy 12.81 lei

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

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 Verified Software: Theories, Tools and Experiments
Autor Dimitra Giannakopoulou, Daniel Kroening
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 287
EAN 9783319121536
ISBN 3319121537
Codul Libristo 06841788
Editura Springer International Publishing AG
Greutatea 4569
Dimensiuni 155 x 235 x 15

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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
Computing & Information Technology > Computer science > Artificial intelligence
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

Mad Science of Golf Moore / Carte Carte broșată
common.buy 117.97 lei
BLUE WATERS AND GREEN: AND THE FAR EAST FREDERICK DUM SMITH / Carte Copertă tare
common.buy 201.87 lei
Rama Epic Forrest McGill / Carte Carte broșată
common.buy 243.46 lei
LibreOffice 5.2 Getting Started Guide Libreoffice Documentation Team / Carte Carte broșată
common.buy 139.20 lei
English I - Andersson Fall 2017: /English 103 Lena Andersson / Carte Carte broșată
common.buy 73.38 lei
Murcielago, Vol. 6 Yoshimurakana / Carte Carte broșată
common.buy 61.48 lei
Argiope Aurantia Deborah Keever / Carte Carte broșată
common.buy 79.91 lei
Handy Book of Old and Familiar Hymns Anson D. F Randolph / Carte Carte broșată
common.buy 110.56 lei
Idylls of Hudson Park Gary Luhmann / Carte Carte broșată
common.buy 154.63 lei
Annual Report, Volume 1 New York (State) Dept of Social Welfar / Carte Copertă tare
common.buy 217.85 lei
Acrylic Painting Guide: Nature and landscapes Irma Neely / Carte Carte broșată
common.buy 195.98 lei
1999 Abacus Year 1 / P2: Workbook Number 3 (8 pack) Ruth Merttens / Carte Carte broșată
common.buy 154.63 lei
Understanding Chronic Pain Robert T. Cochran / Carte Carte broșată
common.buy 84.52 lei
Lumberjanes Vol. 2 Noelle Stevenson / Carte Carte broșată
common.buy 66.29 lei
The Indie Band Survival Guide Randy Chertkow / Carte Carte broșată
common.buy 113.65 lei
Do You Know the Truth of Iman (Faith)? M S M Abdullah (Rah) / Carte Copertă tare
common.buy 175.56 lei
Proceedings of the Cambridge Antiquarian Society, with Communications Made to the Society, Volume 7 Cambridge Antiquarian Society (Cambridge / Carte Copertă tare
common.buy 212.59 lei
Star Maps Nick Kanas / Carte Carte broșată
common.buy 320.78 lei
Far/Aim 2026 FAA / Carte Carte broșată
common.buy 91.33 lei
All About Niels Bohr: A Kid's Guide to the Scientist Who Explained Atoms Shah Rukh / E-book Adobe ePub DRM
common.buy 26.07 lei
Terry and the Pirates: The Master Collection Vol. 12 Milton Caniff / Carte Copertă tare
common.buy 419.73 lei
Emily und der kleine Bär Antony Anderson / Videoclip DVD
common.buy 103.98 lei
B. J. Harrison Reads David Copperfield Dickens / Audiobook MP3
common.buy 80.32 lei
Enchanted April Arnim / Audiobook MP3
common.buy 50.78 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?