Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Tiziana Margaria

Bernhard Steffen

Език

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

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

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

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

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the... Цялото описание

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

125 b

51.63 €

100.98 лв

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

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

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

Godland Martin Schäuble

С меки корици

8.73 € 17.07 лв

Bildermaus - Mit Bildern Englisch lernen - Delfingeschichten - Dolphin Stories Sabine Kraushaar

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

7.28 € 14.24 лв

Rundzelltumor Shailesh Kumar

С меки корици

44.50 € 87.03 лв

Helmut Newton: Pola Woman Helmut Newton

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

47.81 € 93.50 лв

AZ Arany Szalamandra Donaszy Ferencz

С меки корици

4.49 € 8.79 лв

Polimernye truboprovody v teplojenergetike Vladimir Kiseljov

С меки корици

64.04 € 125.25 лв

Universidad, singularización y teoría de las artes GARCIA BERRIO

С меки корици

52.46 € 102.60 лв

Mis peluches. Toca y escucha MARION BILLET

С меки корици

16.07 € 31.43 лв

Viaje alucinante Isaac Asimov

С меки корици

11.57 € 22.64 лв

Earth Education Lars Wohlers

С меки корици

7.28 € 14.24 лв

Comte de Lavernie. Tome 3 Maquet-A

С меки корици

25.27 € 49.43 лв

Frauenseelen Gabriele Reuter

С меки корици

11.62 € 22.74 лв

Histoire Generale de Languedoc: T. 1 (Ed.1840-1846) Claude Devic

С меки корици

26.67 € 52.16 лв

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

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

EWA KASP за

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

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

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

Пълно заглавие Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Автор Tiziana Margaria, Bernhard Steffen

Език

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

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

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

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

Баркод 9783030034238

ISBN 3030034232

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

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

Тегло 813

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

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

Deconstructing Gurdjieff Tobias Churton

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

27.03 € 52.86 лв

The Elements of Coordinate Geometry Part-1 Cartesian Coordinates SL Loney

С меки корици

52.46 € 102.60 лв

The Complete Guide to the Bullmastiff Vanessa Richie

С меки корици

20.26 € 39.62 лв

They Called It Peace – Worlds of Imperial Violence Lauren Benton

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

31.94 € 62.47 лв

ESSAYS EXPLANATORY AND EXPERIMENTAL, UPO STEPHEN LOWRY

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

31.58 € 61.76 лв

Devised Theater's Collaborative Performance Telory D Arendell

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

198.53 € 388.30 лв

Dwij William (Florida Atlantic U Boca Raton) Smith

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

32.56 € 63.68 лв

SKETCH OF THE LIFE OF SARAH B Anonymous

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

29.72 € 58.12 лв

Birds of Ecuador and the Galapagos Islands Murray Cooper

С меки корици

20.26 € 39.62 лв

The Devil Made Me Do It: XXX Secret Diaries of A Very Bad Girl Lucie Goodman

С меки корици

6.56 € 12.83 лв

Taxpayer Privacy: A Guide for Screening and Assessing Proposals to Disclose Confidential Tax Information to Specific Parties for Specifi Government Accountability Office (U S )

С меки корици

15.71 € 30.72 лв