Doprava zadarmo s Packetou nad 59.99 €

Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Verified Software: Theories, Tools and Experiments

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

Dimitra Giannakopoulou

Daniel Kroening

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 06841788

Nakladateľstvo Springer International Publishing AG, október 2014

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Celý popis

Libristo kód: 06841788

154 b

61.35 €

Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

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

/ Brožovaná

14.40 €

Cure Varley O'Connor

/ Pevná

20.95 €

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

/ Brožovaná

116.97 €

Grayshott J.H. Smith

/ Brožovaná

13.49 €

Psychology of Personality James T. Lamiell

/ Pevná

127.95 €

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

/ Brožovaná

77.57 €

Selfish Gene Philosophy Gerald Alper

/ Pevná

50.37 €

Anna May Wong Chei Mi Lane

/ Brožovaná

37.67 €

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

/ Brožovaná

33.04 €

FIRST BOOK MSOPA SOLOS PT 2 BK2CD Hal Leonard Corp

/ Brožovaná

25.58 €

Process Chemistry of Petroleum Macromolecules Irwin A. Wiehe

/ Pevná

310.72 €

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

/ Brožovaná

85.53 €

Poems of Praise and Worship Shane Dale Anders

/ Brožovaná

12.18 €

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.

Informácie o knihe

Celý názov Verified Software: Theories, Tools and Experiments

Autor Dimitra Giannakopoulou, Daniel Kroening

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2014

Počet strán 287

EAN 9783319121536

ISBN 3319121537

Libristo kód 06841788

Nakladateľstvo Springer International Publishing AG

Váha 4569

Rozmery 155 x 235 x 15

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Informatika > Umelá inteligencia

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Doručenie

Nákupný poradca