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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 190 b
27 629 Ft
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 25 664 Ft

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?