Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Verified Software: Theories, Tools and Experiments

Name: Verified Software: Theories, Tools and Experiments
Brand: Springer International Publishing AG
SKU: 06841788
Price: 49.56 EUR
Availability: InStock
Author: Dimitra Giannakopoulou
ISBN: 9783319121536

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

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

120 b

49.56 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Kognitive Kooperation in der Produktionssteuerung Tobias Wissing

Brožovaná

37.92 €

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

Brožovaná

61.49 €

Airport Simulator 2019 (PlayStation PS4)

Digital CD

33.88 €

Histoire des jésuites Bled

Brožovaná

29.83 €

Vergleich Der Substantivflexion Im Gotischen Und Althochdeutschen Andy Schalm

Brožovaná

16.18 €

TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ

Brožovaná

30.03 €

The Pug who wanted to be a Dinosaur Bella Swift

Brožovaná

8.69 €

Love & Passion Jana Reich

Brožovaná

21.54 €

Pfadfinder Majo Probst

Brožovaná

22.35 €

Odontología deportiva: una perspectiva de futuro Ipseeta Menon

Brožovaná

64.02 €

REVISTA TURIA 107

Kniha

18.30 €

a a a a a a a a a a a a Rider Tiger Rider

MP3

3.43 €

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

Brožovaná

51.88 €

Towards Ancestral Lands Fir Bolg

Audio CD

20.93 €

Percevoir : monde et langage Socks

Kalendár

40.15 €

Mecanismes de Sequestration de la Tubuline Isabelle Jourdain

Brožovaná

71.10 €

Der Europäische Verfassungsvertrag Klemens H. Fischer

Brožovaná

84.96 €

Mediunidade Trevas Ou Luz Ricardo Max

Brožovaná

8.08 €

Huculskie peregrynacje weselne Świątek Adrianna

Brožovaná

18.20 €

Concevoir des espaces scolaires pour le bien-être et la réussite Mazalto

Brožovaná

20.83 €

Encens Satya Super hit - 10 grs

binding.

2.62 €

Belluguets, Carlota, la granota, Educació Infantil, 3 anys. 3 trimestre Anna Gassó Jimeno

Brožovaná

11.32 €

Antropología de la mujer : cognición, lengua e ideología cultural María Jesús Buxó Rey

Brožovaná

16.68 €

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

Brožovaná

25.99 €

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.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

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