Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Software Engineering and Formal Methods

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Software Engineering and Formal Methods Radu Calinescu
Libristo kód: 38394255
Nakladatelství Springer Nature Switzerland AG, prosinec 2021
This book constitutes the refereed proceedings of the 19th International Conference on Software Engi... Celý popis
? points 189 b
1 887 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Software Engineering and Formal Methods
Autor Radu Calinescu
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2021
Počet stran 522
EAN 9783030921231
ISBN 3030921239
Libristo kód 38394255
Nakladatelství Springer Nature Switzerland AG
Váha 819
Rozměry 155 x 235 x 29

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

T.S. Eliot & Salvador Espriu : converging poetic imaginations Dídac Llorens Cubero / Kniha Brožovaná
common.buy 498 Kč
Basket of Deplorables Dennis Carstens / Kniha Pevná
common.buy 480 Kč
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 / Kniha Brožovaná
common.buy 404 Kč
Across the Zodiac Percy Greg / Kniha Brožovaná
common.buy 206 Kč
Meals for Your Mediterranean Diet America Best Recipes / Kniha Brožovaná
common.buy 458 Kč
Human Capital and Innovation Sumit Kundu / Kniha Brožovaná
common.buy 1 951 Kč
Planning Australia's Healthy Built Environments Kent / Kniha Pevná
common.buy 4 835 Kč
In Focus Level 2 Student's Book Naresuan University Thai Edition: A Vocabulary, Reading and Critical Thinking Skills Course Charles Browne / Kniha Brožovaná
common.buy 154 Kč
How Humans Adapt: A Biocultural Odyssey Donald J. Ortner / Kniha Brožovaná
common.buy 903 Kč
Advanced Microsystems for Automotive Applications 2007 Jürgen Valldorf / Kniha Brožovaná
common.buy 3 450 Kč
Animal Stories Max Evans / Kniha Brožovaná
common.buy 615 Kč
At The Heart Of The Universe Shem / Kniha Pevná
common.buy 482 Kč
Classification of Pseudo-reductive Groups (AM-191) Gopal Prasad / Kniha Pevná
common.buy 5 184 Kč
In a Town Called Mundomuerto Randall Silvis / Kniha Pevná
common.buy 524 Kč
Under the Gaijin Gaze: Essays on the Education & Attitudes of Japanese College Women Daniel A Metraux / Kniha Brožovaná
common.buy 241 Kč
Howard Barker: Ecstasy and Death David Ian Rabey / Kniha Pevná
common.buy 1 223 Kč
Interatomic Forces in Condensed Matter Mike Finnis / Kniha Brožovaná
common.buy 1 898 Kč
Self-Portrait Ray Man / Kniha Brožovaná
common.buy 339 Kč
Basic Data of Plasma Physics Sanborn / Kniha Brožovaná
common.buy 2 827 Kč
Generalissimo Jonathan Fenby / Kniha Brožovaná
common.buy 456 Kč
Time Management System Phd Paul Gerhardt / Kniha Brožovaná
common.buy 308 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?