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 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € 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.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663776
Price: 51.69 EUR
Availability: InStock
Author: Einar Broch Johnsen
ISBN: 9783642386121

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Einar Broch Johnsen

Luigia Petre

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01663776

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2013

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Celý popis

Libristo kód: 01663776

125 b

51.69 €

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

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat

Brožovaná

42.48 €

Crimson Spell. Bd.5 Ayano Yamane

Brožovaná

9.30 €

Kunst Des 18. Jahrhunderts Edmond de Goncourt

Brožovaná

43.90 €

Dançando tango em Istambul Melis Merih Kiliç

Brožovaná

44.51 €

EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Kniha

binding.

11.52 €

Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont

Brožovaná

31.05 €

Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann

List

10.71 €

Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank

Pevná

109.26 €

Recht und Energie Peter Rosin

Pevná

215.30 €

Rivalen unter roter Sonne, 1 Blu-ray Terence Young

Blu-ray

13.85 €

La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre

Brožovaná

21.34 €

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.