0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Natural language & machine translation

Buy Now

Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers (Paperback, 1st ed. 2020) Loot Price: R2,227
Discovery Miles 22 270
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway,...

Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers (Paperback, 1st ed. 2020)

Javier Camara, Martin Steffen

Series: Lecture Notes in Computer Science, 12226

 (sign in to rate)
Loot Price R2,227 Discovery Miles 22 270 | Repayment Terms: R209 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops: CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems .

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 12226
Release date: September 2020
First published: 2020
Editors: Javier Camara • Martin Steffen
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 277
Edition: 1st ed. 2020
ISBN-13: 978-3-03-057505-2
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > Databases > General
Books > Computing & IT > Applications of computing > Artificial intelligence > Natural language & machine translation
LSN: 3-03-057505-5
Barcode: 9783030575052

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners