Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

Name: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Brand: Springer, Berlin
SKU: 42663768
Price: 113.29 EUR
Availability: InStock
Author: Paolo Masci
ISBN: 9783031262357

AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Língua

Inglês

Livro Capa mole

Código Libristo: 42663768

Editoras Springer, Berlin, novembro 2022

This volume constitutes the revised selected papers from the four workshops collocated with the 20th... Descrição completa

Código Libristo: 42663768

274 b

113.29 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Unreal Engine 4 per tutti Andrea Coppola

Capa mole

30.24 €

Hudební adventní kalendář + Pexeso Veronika Mlčáková

Capa mole

6.97 €

ARMORED CORE VI FIRES OF RUBICON - Die offiziellen Artworks Lasse Christian Christiansen

Livro de capa dura

35.70 €

Portugalia Adamczak Sławomir

Capa mole

7.98 €

Четыре всадника раздора Татьяна Полякова

Livro de capa dura

12.33 €

Unsagbar Anne Roth

Livro de capa dura

19.11 €

Как приручить дракона. Книга 4. Как перехитрить дракона Крессида Коуэлл

Livro de capa dura

18.30 €

Dcera zimy Vladimíra Šebová

Capa mole

10.81 €

Stabilität vs. Variabilität. Der Einfluss der Varianz von Selbstwert und Handlungsspielraum auf das Wohlbefinden Jasper Staben

Capa mole

25.08 €

Petite Histoire d'Amour Lexy Timms

Adobe ePub DRM

1.71 €

DAS ULTIMATIVE XAVIER NAIDOO MEDLEY CONCERT BAND/HARMONIE-PARTITION+PARTIES SEPAREES MARKUS SCHENK Livro

binding.

196.13 €

Escape Game - Im Sagenwald von Brocéliande Margot Briquet

Capa mole

14.96 €

Ueber die Roemerstrassen am rechten Ufer des Nieder-Rheins Carl von Mueffling

Capa mole

12.53 €

Abdel Alberto Luis Aranguren

Capa mole

13.75 €

Trapillo tejido a ganchillo y a punto : 20 proyectos paso a paso ALEXANDRE CALLIER-TAYLOR

Capa mole

14.25 €

Menschwerdung Mareile Lasogga

Capa mole

125.93 €

Histoire de France Sous Napoleon Tome 9 Sans Auteur

Capa mole

30.74 €

de la Mainmorte Au Moyen Age, de la Possibilite Pour Le Mainmortable Ou Serf de Quitter Bertin-J

Capa mole

13.54 €

Tore, Milo & Lars - Gespenster auf Burg Ehrenberg Marco Banholzer

Capa mole

9.09 €

Sanssouci und Friedrich der Grosse Alfred Weise

Capa mole

15.26 €

Dilemma des Arbeitskraftemangels wahrend des Zweiten Weltkriegs Lars Wegner

Capa mole

17.09 €

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.