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.

Software Engineering and Formal Methods

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Antonio Cerone

Marco Roveri

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 18737533

Nakladateľstvo Springer International Publishing AG, február 2018

This book constitutes revised selected papers from the five workshops collocated with the 15th Inter... Celý popis

Libristo kód: 18737533

185 b

76.26 €

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

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Vivre avec les robots Paul Dumouchel

Brožovaná

26.39 €

Hansel y Gretel: La Novela Grafica Hans Christian Andersen

Brožovaná

8.89 €

Il regno periodico. Viaggio nel mondo degli elementi chimici Peter Watkins

Brožovaná

24.17 €

La evolución sin sentido Eudald Carbonell i Roura

Brožovaná

22.45 €

Chimie Des Vegetaux Sacc-F

Brožovaná

20.22 €

Baltimore 5: Apoštol a čarodějnice Christopher Golden

Pevná

15.26 €

Introduction à la topologie de jacques lacan Nasio

Kniha

10.11 €

GRANADA CAPRICHO DE LA NATURALEZA Y DE LA HISTORIA Sánchez Peinado

Kniha

9.40 €

Le droit au soutien de l'investissement dans le sport Sakho

Brožovaná

21.84 €

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium "From Data to Models and Back"; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems.