Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Software Engineering and Formal Methods

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

Radu Calinescu

Language

English

Book Paperback

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

Libristo code: 38394255

217 b

31 762 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Alpenbahnen Berthold Steinhilber

Hardback

17 309 Ft

Nudge. La spinta gentile. La nuova strategia per migliorare le nostre decisioni su denaro, salute, felicità. L'edizione definitiva Richard H. Thaler

Paperback

8 047 Ft

Os escribo a vosotros, jóvenes Giraudo

Paperback

2 066 Ft

Intelligence des limites (L') Tort

Paperback

11 005 Ft

LES TRAJECTOIRES DU POUVOIR DANS UNE COMMUNAUTÉ MAYA K'ICHE DU GUATEMALA Tallet

Paperback

10 598 Ft

Repubblica E Monarchia: A Giuseppe Mazzini Lettera (1865) Francesco Crispi

Paperback

8 121 Ft

Briefe Eines Reisenden Franzosen Uber Deutschland An Seinen Bruder Zu Paris (1784) Johann Kaspar Riesbeck

Paperback

13 893 Ft

Principales parasitosis entero-hepáticas de los rumiantes domésticos José Manuel Martínez Pérez

Paperback

13 833 Ft

Długopis Cristal Original czarny display 50 sztuk Book

binding.

8 412 Ft

The Crown. Season.1, 4 DVDs, 4 DVD-Video Pia Di Ciaula

DVD

6 845 Ft

Maruja Mallo : caracola con alas Luisa Antolín Villota

Hardback

6 961 Ft

Die Psalmen II. Psalm 51 - 100 Frank-Lothar Hossfeld

Paperback

8 985 Ft

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

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

You might also be interested in

T.S. Eliot & Salvador Espriu : converging poetic imaginations Dídac Llorens Cubero

Paperback

7 298 Ft

Basket of Deplorables Dennis Carstens

Hardback

8 033 Ft

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

Paperback

6 947 Ft