Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Software Engineering and Formal Methods

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

Radu Calinescu

Език

Английски език

Книга С меки корици

Код Либристо: 38394255

Издателство Springer Nature Switzerland AG, декември 2021

This book constitutes the refereed proceedings of the 19th International Conference on Software Engi... Цялото описание

Код Либристо: 38394255

199 b

82.39 €

161.14 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

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

С меки корици

23.51 € 45.99 лв

Alpenbahnen Berthold Steinhilber

С твърди корици

44.55 € 87.13 лв

Os escribo a vosotros, jóvenes Giraudo

С меки корици

5.11 € 10.00 лв

Intelligence des limites (L') Tort

С меки корици

32.20 € 62.97 лв

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

DVD

18.76 € 36.69 лв

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

С меки корици

30.96 € 60.55 лв

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

С меки корици

21.24 € 41.54 лв

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

С меки корици

36.33 € 71.06 лв

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

С меки корици

35.66 € 69.75 лв

Długopis Cristal Original czarny display 50 sztuk Книга

binding.

24.91 € 48.72 лв

Maruja Mallo : caracola con alas Luisa Antolín Villota

С твърди корици

17.67 € 34.56 лв

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

С меки корици

23.25 € 45.48 лв

Theorie der Riemannschen Flächen, 1 Albert Pfluger

С меки корици

48.22 € 94.31 лв

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.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Software Engineering and Formal Methods

Автор Radu Calinescu

Език

Английски език

Корици Книга - С меки корици

Дата на издаване 2021

Брой страници 522

Баркод 9783030921231

ISBN 3030921239

Код Либристо 38394255

Издателство Springer Nature Switzerland AG

Тегло 819

Размери 155 x 235 x 29

Може би ще Ви заинтересува

Bride of the Shark Clan Satomichi

С меки корици

10.64 € 20.82 лв

Basket of Deplorables Dennis Carstens

С твърди корици

22.63 € 44.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

С меки корици

17.78 € 34.77 лв