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 9.99 €
phone Contact phoneHow to shop

Software Engineering and Formal Methods

Language EnglishEnglish
Book Paperback
Book Software Engineering and Formal Methods Radu Calinescu
Libristo code: 38394255
Publishers Springer Nature Switzerland AG, December 2021
This book constitutes the refereed proceedings of the 19th International Conference on Software Engi... Full description
? points 199 b
82.59 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Nudge. La spinta gentile. La nuova strategia per migliorare le nostre decisioni su denaro, salute, felicità. L'edizione definitiva Richard H. Thaler / Book Paperback
common.buy 22.59 €
Alpenbahnen Berthold Steinhilber / Book Hardback
common.buy 44.68 €
Os escribo a vosotros, jóvenes Giraudo / Book Paperback
common.buy 5.16 €
Intelligence des limites (L') Tort / Book Paperback
common.buy 30.90 €
The Crown. Season.1, 4 DVDs, 4 DVD-Video Pia Di Ciaula / Video DVD
common.buy 17.93 €
LES TRAJECTOIRES DU POUVOIR DANS UNE COMMUNAUTÉ MAYA K'ICHE DU GUATEMALA Tallet / Book Paperback
common.buy 29.68 €
Repubblica E Monarchia: A Giuseppe Mazzini Lettera (1865) Francesco Crispi / Book Paperback
common.buy 21.27 €
Briefe Eines Reisenden Franzosen Uber Deutschland An Seinen Bruder Zu Paris (1784) Johann Kaspar Riesbeck / Book Paperback
common.buy 36.47 €
Principales parasitosis entero-hepáticas de los rumiantes domésticos José Manuel Martínez Pérez / Book Paperback
common.buy 35.76 €
Długopis Cristal Original czarny display 50 sztuk Book binding.
common.buy 23.81 €
Maruja Mallo : caracola con alas Luisa Antolín Villota / Book Hardback
common.buy 17.73 €
Die Psalmen II. Psalm 51 - 100 Frank-Lothar Hossfeld / Book Paperback
common.buy 23.30 €
Theorie der Riemannschen Flächen, 1 Albert Pfluger / Book Paperback
common.buy 48.33 €

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

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 Radu Calinescu
Language English
Binding Book - Paperback
Date of issue 2021
Number of pages 522
EAN 9783030921231
ISBN 3030921239
Libristo code 38394255
Publishers Springer Nature Switzerland AG
Weight 819
Dimensions 155 x 235 x 29

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

You might also be interested in

Top New
Bride of the Shark Clan Satomichi / Book Paperback
common.buy 10.63 €
Basket of Deplorables Dennis Carstens / Book Hardback
common.buy 21.27 €
Three Lancashire Documents of the Fourteenth and Fifteenth Centuries: Comprising I. the Great de Lacy Inquisition, Feb.16, 1311. II. the Survey of 132 John Harland / Book Paperback
common.buy 17.83 €
Meals for Your Mediterranean Diet America Best Recipes / Book Paperback
common.buy 20.16 €
Across the Zodiac Percy Greg / Book Paperback
common.buy 9.01 €
Human Capital and Innovation Sumit Kundu / Book Paperback
common.buy 85.22 €
Planning Australia's Healthy Built Environments Kent / Book Hardback
common.buy 209.47 €
Coming soon
In Focus Level 2 Student's Book Naresuan University Thai Edition: A Vocabulary, Reading and Critical Thinking Skills Course Charles Browne / Book Paperback
common.buy 6.68 €
Advanced Microsystems for Automotive Applications 2007 Jürgen Valldorf / Book Paperback
common.buy 151.30 €
How Humans Adapt: A Biocultural Odyssey Donald J. Ortner / Book Paperback
common.buy 39.31 €
T.S. Eliot & Salvador Espriu : converging poetic imaginations Dídac Llorens Cubero / Book Paperback
common.buy 18.64 €
My God is Your God Too...it's True! Louise Robinson / Book Paperback
common.buy 19.75 €
Animal Stories Max Evans / Book Paperback
common.buy 26.54 €
Classification of Pseudo-reductive Groups (AM-191) Gopal Prasad / Book Hardback
common.buy 236.13 €
Time Management System Phd Paul Gerhardt / Book Paperback
common.buy 14.28 €
Generalissimo Jonathan Fenby / Book Paperback
common.buy 20.16 €
Basic Data of Plasma Physics Sanborn / Book Paperback
common.buy 123.73 €
Self-Portrait Ray Man / Book Paperback
common.buy 16.00 €
Interatomic Forces in Condensed Matter Mike Finnis / Book Paperback
common.buy 86.84 €
Howard Barker: Ecstasy and Death David Ian Rabey / Book Hardback
common.buy 53.40 €
Under the Gaijin Gaze: Essays on the Education & Attitudes of Japanese College Women Daniel A Metraux / Book Paperback
common.buy 10.63 €
Misunderstood Edwig Soesman / Book Hardback
common.buy 32.72 €
At The Heart Of The Universe Shem / Book Hardback
common.buy 21.27 €

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?