031 22 95 182 poimâine de la ora 8.00

Transport gratuit la punctele de livrare Pick Up peste 299 lei

Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Verified Software: Theories, Tools and Experiments

Name: Verified Software: Theories, Tools and Experiments
Brand: Springer International Publishing AG
SKU: 06841788
Price: 324 RON
Availability: InStock

Dimitra Giannakopoulou

Daniel Kroening

Limba

engleză

Carte Carte broșată

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ă

Codul Libristo: 06841788

161 b

324 lei

În depozitul extern în cantități mici Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Cure Varley O'Connor

/ Copertă tare

112 lei

Webster's First Bunker Hill Oration, 1825 Andrew Jackson George Daniel Webster

/ Carte broșată

77 lei

Psychology of Personality James T. Lamiell

/ Copertă tare

673 lei

Grayshott J.H. Smith

/ Carte broșată

71 lei

Contribution La Mod lisation Num rique de la R ponse Sismique Abdelghani Seghir

/ Carte broșată

616 lei

Genealogies of Long Island Families, from The New York Genealogical and Biographical Record. In Two Volumes. Volume I Island Long Island

/ Carte broșată

453 lei

Die Versorgung des Brandverletzten im Katastrophenfall Band 2 P. R. Zellner

/ Carte broșată

410 lei

Anna May Wong Chei Mi Lane

/ Carte broșată

199 lei

Selfish Gene Philosophy Gerald Alper

/ Copertă tare

255 lei

Actitud de los docentes hacia un nuevo modelo educativo Gilberto Hernández Barrera

/ Carte broșată

175 lei

Poems of Praise and Worship Shane Dale Anders

/ Carte broșată

65 lei

Process Chemistry of Petroleum Macromolecules Irwin A. Wiehe

/ Copertă tare

1.640 lei

FIRST BOOK MSOPA SOLOS PT 2 BK2CD Hal Leonard Corp

/ Carte broșată

137 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.

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

Livrare

Consilier de cumpărături