Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops Loek Cleophas

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Szerző: Loek Cleophas
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer Nature Switzerland AG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 063 Ft
This volume constitutes the revised selected papers from the three workshops collocated with the 18t...

Információk a könyvről

Szerző
Loek Cleophas
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2021
oldal
335
EAN
9783030672195
ISBN
3030672190
Enbook ID
33572477
Kiadó
Springer Nature Switzerland AG
Súly
534
Méretek
155 x 235 x 19

Teljes leírás

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops:ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems.

Érdekelheti

New and Collected Poems 1931-2001

Milosz Czeslaw
8 317 Ft

Signs Make Sense

Cath Smith
4 938 Ft

Brain Games - Cold Case Puzzles

Brain Games
4 199 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Game - Lust ohne Liebe in der Highschool 01

Mai Nishikata
2 592 Ft

Atlas chorob a škůdců okrasných rostlin, ovoce a zeleniny

Bernd Böhmer
8 024 Ft