Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Software Engineering and Formal Methods

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Software Engineering and Formal Methods Radu Calinescu
Libristo kod: 38394255
Nakladnici Springer Nature Switzerland AG, prosinac 2021
This book constitutes the refereed proceedings of the 19th International Conference on Software Engi... Cijeli opis
? points 199 b
82.52 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Alpenbahnen Berthold Steinhilber / Knjiga Tvrdi uvez
common.buy 44.65 €
Nudge. La spinta gentile. La nuova strategia per migliorare le nostre decisioni su denaro, salute, felicità. L'edizione definitiva Richard H. Thaler / Knjiga Meki uvez
common.buy 21.56 €
Os escribo a vosotros, jóvenes Giraudo / Knjiga Meki uvez
common.buy 5.56 €
Intelligence des limites (L') Tort / Knjiga Meki uvez
common.buy 29.66 €
LES TRAJECTOIRES DU POUVOIR DANS UNE COMMUNAUTÉ MAYA K'ICHE DU GUATEMALA Tallet / Knjiga Meki uvez
common.buy 28.65 €
Repubblica E Monarchia: A Giuseppe Mazzini Lettera (1865) Francesco Crispi / Knjiga Meki uvez
common.buy 21.25 €
Briefe Eines Reisenden Franzosen Uber Deutschland An Seinen Bruder Zu Paris (1784) Johann Kaspar Riesbeck / Knjiga Meki uvez
common.buy 36.44 €
Principales parasitosis entero-hepáticas de los rumiantes domésticos José Manuel Martínez Pérez / Knjiga Meki uvez
common.buy 35.74 €
Długopis Cristal Original czarny display 50 sztuk Knjiga binding.
common.buy 22.57 €
The Crown. Season.1, 4 DVDs, 4 DVD-Video Pia Di Ciaula / Video DVD
common.buy 17.91 €
Maruja Mallo : caracola con alas Luisa Antolín Villota / Knjiga Tvrdi uvez
common.buy 18.72 €
Die Psalmen II. Psalm 51 - 100 Frank-Lothar Hossfeld / Knjiga Meki uvez
common.buy 23.28 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Software Engineering and Formal Methods
Autor Radu Calinescu
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2021
Broj stranica 522
EAN 9783030921231
ISBN 3030921239
Libristo kod 38394255
Nakladnici Springer Nature Switzerland AG
Težina 819
Dimenzije 155 x 235 x 29

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

T.S. Eliot & Salvador Espriu : converging poetic imaginations Dídac Llorens Cubero / Knjiga Meki uvez
common.buy 19.63 €
Basket of Deplorables Dennis Carstens / Knjiga Tvrdi uvez
common.buy 21.25 €
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 / Knjiga Meki uvez
common.buy 17.81 €
Across the Zodiac Percy Greg / Knjiga Meki uvez
common.buy 9.00 €
Meals for Your Mediterranean Diet America Best Recipes / Knjiga Meki uvez
common.buy 20.14 €
Human Capital and Innovation Sumit Kundu / Knjiga Meki uvez
common.buy 85.15 €
Planning Australia's Healthy Built Environments Kent / Knjiga Tvrdi uvez
common.buy 209.30 €
In Focus Level 2 Student's Book Naresuan University Thai Edition: A Vocabulary, Reading and Critical Thinking Skills Course Charles Browne / Knjiga Meki uvez
common.buy 6.67 €
How Humans Adapt: A Biocultural Odyssey Donald J. Ortner / Knjiga Meki uvez
common.buy 39.28 €
Advanced Microsystems for Automotive Applications 2007 Jürgen Valldorf / Knjiga Meki uvez
common.buy 151.17 €
Animal Stories Max Evans / Knjiga Meki uvez
common.buy 26.52 €
At The Heart Of The Universe Shem / Knjiga Tvrdi uvez
common.buy 19.94 €
Classification of Pseudo-reductive Groups (AM-191) Gopal Prasad / Knjiga Tvrdi uvez
common.buy 223.98 €
In a Town Called Mundomuerto Randall Silvis / Knjiga Tvrdi uvez
common.buy 23.08 €
Under the Gaijin Gaze: Essays on the Education & Attitudes of Japanese College Women Daniel A Metraux / Knjiga Meki uvez
common.buy 10.62 €
Howard Barker: Ecstasy and Death David Ian Rabey / Knjiga Tvrdi uvez
common.buy 53.35 €
Interatomic Forces in Condensed Matter Mike Finnis / Knjiga Meki uvez
common.buy 82.62 €
Self-Portrait Ray Man / Knjiga Meki uvez
common.buy 16.09 €
Basic Data of Plasma Physics Sanborn / Knjiga Meki uvez
common.buy 123.63 €
Generalissimo Jonathan Fenby / Knjiga Meki uvez
common.buy 20.24 €
Time Management System Phd Paul Gerhardt / Knjiga Meki uvez
common.buy 13.46 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?