Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Software Engineering and Formal Methods

Language EnglishEnglish
Book Paperback
Book Software Engineering and Formal Methods Javier Camara
Libristo code: 33184591
Publishers Springer Nature Switzerland AG, September 2020
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated wit... Full description
? points 174 b
72.25 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

You might also be interested in

Videogame Sciences and Arts Inês Barbedo / Book Paperback
common.buy 67.18 €

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 .

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Software Engineering and Formal Methods
Author Javier Camara
Language English
Binding Book - Paperback
Date of issue 2020
Number of pages 277
EAN 9783030575052
ISBN 3030575055
Libristo code 33184591
Publishers Springer Nature Switzerland AG
Weight 444
Dimensions 155 x 235 x 16

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Speech recognition
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Information technology: general issues
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?