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 3.49 € Kuriér GLS 4.49 € Zberné miesto GLS 2.99 € SPS 4.49 € SPS Parcel Shop 3.49 € Packeta kurýr 4.49 € Slovenská pošta 4.49 € Zberné miesto DPD 3.49 € Packeta 3.49 €

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

10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers

Ruzica Piskac

Philipp Rümmer

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 20392651

Nakladateľstvo Springer Nature Switzerland AG, november 2018

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

Libristo kód: 20392651

125 b

51.31 €

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

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Mon grand livre-jeu des pirates

Pevná

20.28 €

PoesÃ-as

Pevná

29.72 €

Proektirowanie i razrabotka prototipa äkologicheski chistogo ochistitelq wozduha Mukesh Kumar

Brožovaná

17.77 €

Analisi fisionomica del bosco di Hornos de Cal. Abel Hernandez - Muñoz

Brožovaná

38.96 €

Posca akrylový popisovač PC-3ML, 0,9 - 1,3 mm, třpytivě modrá (tenký kulatý hrot)

binding.

2.10 €

Der Geistliche Führer, oder Unterricht ueber das Gebet, die Betrachtung und Beschauung, ueber die heimsuchungen Gottes und die außerordentlichen Gnade Magnus Jocham

Pevná

34.54 €

Maregelvollzugsrecht Heinz Kammeier

Adobe ePub DRM

175.82 €

Eve Curie Monteil Claudine Monteil

Adobe ePub DRM

17.77 €

Zaubereien mit Luftballons Linda Perina

Brožovaná

7.72 €

Les conséquences sanitaires des eaux de crue sur la vie des habitants des bidonvilles Bulli Dibba

Brožovaná

38.96 €

Region und Unitarische Struktur in Grossbritannien / Regionalism and Unitary Structure in Great Britain P. Malanczuk

Brožovaná

66.98 €

El don de perdonar Clara Govela

Brožovaná

7.32 €

Soporte vital básico. SANT0208 - Transporte sanitario Carmona Romera

Brožovaná

38.76 €

Sitges Yeye. Recull gràfic 1960-1979 Sierra

Pevná

208.69 €

El cervell huma PABLO BARRECHEGUREN

Brožovaná

25.60 €

20 sur 20 en anglais. 2e édition (avec fichiers audio) Nantet

Brožovaná

15.36 €

Bibliographie De L'Histoire De Beligique (1902) Henri Pirenne

Pevná

43.48 €

Dirección de empresas : bases en un entorno abierto y dinámico José Cabanelas Omil

Brožovaná

49.90 €

Kitchen Banana Yoshimoto

Brožovaná

16.66 €

Weihnachtsbluten in Sitte und Sage Wilhelm Mannhardt

Brožovaná

16.06 €

Pracownia instalacji elektrycznych Kwalifikacja E.8 Technik elektryk elektryk Stanislaw Karasiewicz

Brožovaná

21.08 €

Biographie Des K.K. Feldmarschall Josef Graf Radetzky Von Hradetz Alois Ritter von Haymerle

Pevná

26.10 €

Thiergeschichten: Erzählungen Und Schilderungen Aus Dem Leben Der Thiere Karl Oppel

Brožovaná

30.72 €

Une analyse de la biopolitique apr?s la révolution moléculaire Juan David Betancourt Ramirez

Brožovaná

54.83 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.