Code: 38394255

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer Nature Switzerland AG
SKU: 38394255
Price: 82.33 EUR
Availability: InStock
Author: Radu Calinescu
ISBN: 9783030921231

by Radu Calinescu

Language: English
Binding: Paperback
Number of pages: 522
Publisher: Springer Nature Switzerland AG, 2021
More about this

82.33 €

RRP: 89.21 €

You save 6.87 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Alpenbahnen
44.54 € -11 %
Buy
Self-Portrait
21.61 €
Buy
The Crown. Season.1, 4 DVDs, 4 DVD-Video
17.87 €
Buy
Nudge. La spinta gentile. La nuova strategia per migliorare le nostre decisioni su denaro, salute, felicità. L'edizione definitiva
22.62 €
Buy
At The Heart Of The Universe
19.89 € -25 %
Buy
Basket of Deplorables
21.21 € -25 %
Buy
Maruja Mallo : caracola con alas
19.59 €
Buy
Generalissimo
20.20 € -24 %
Buy
Intelligence des limites (L')
31.01 €
Buy
Die Psalmen II. Psalm 51 - 100
23.23 € -6 %
Buy
Animal Stories
25.35 €
Buy
Interatomic Forces in Condensed Matter
82.43 €
Buy
Repubblica E Monarchia: A Giuseppe Mazzini Lettera (1865)
20.20 € -1 %
Buy
In Focus Level 2 Student's Book Naresuan University Thai Edition: A Vocabulary, Reading and Critical Thinking Skills Course
6.66 €
Buy
Classification of Pseudo-reductive Groups (AM-191)
213.98 €
Buy
My God is Your God Too...it's True!
19.29 € -2 %
Buy
Planning Australia's Healthy Built Environments
199.53 €
Buy
Misunderstood
31.21 €
Buy
Os escribo a vosotros, jóvenes
5.85 €
Buy
Time Management System
13.43 € -10 %
Buy
LES TRAJECTOIRES DU POUVOIR DANS UNE COMMUNAUTÉ MAYA K'ICHE DU GUATEMALA
29.79 €
Buy
Meals for Your Mediterranean Diet
18.88 € -25 %
Buy
Human Capital and Innovation
84.96 € -4 %
Buy
T.S. Eliot & Salvador Espriu : converging poetic imaginations
20.50 €
Buy
How Humans Adapt: A Biocultural Odyssey
37.27 € -1 %
Buy
Briefe Eines Reisenden Franzosen Uber Deutschland An Seinen Bruder Zu Paris (1784)
34.54 € -2 %
Buy
Three Lancashire Documents of the Fourteenth and Fifteenth Centuries: Comprising I. the Great de Lacy Inquisition, Feb.16, 1311. II. the Survey of 132
16.66 € -25 %
Buy
Długopis Cristal Original czarny display 50 sztuk
23.73 €
Buy
Theorie der Riemannschen Flächen, 1
48.18 € -7 %
Buy
In a Town Called Mundomuerto
21.61 € -25 %
Buy
Howard Barker: Ecstasy and Death
53.23 € -4 %
Buy
Basic Data of Plasma Physics
123.35 € -7 %
Buy
Under the Gaijin Gaze: Essays on the Education & Attitudes of Japanese College Women
9.89 € -25 %
Buy
Principales parasitosis entero-hepáticas de los rumiantes domésticos
35.65 € -14 %
Buy
Across the Zodiac
8.48 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Software Engineering and Formal Methods

Book details
Synopsis
Trending among others

You get 199 loyalty points

Book synopsis

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.