Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Provably Correct Systems

Mike Hinchey

Jonathan P. Bowen

Ernst-Rüdiger Olderog

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 20119101

Nakladatelství Springer International Publishing AG, květen 2018

As computers increasingly control the systems and services we depend upon within our daily lives lik... Celý popis

Libristo kód: 20119101

236 b

2 356 Kč

Skladem u dodavatele Odesíláme za 8-11 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Steuergestaltung Durch Aufdeckung Stiller Reserven Joachim Schiffers

Brožovaná

1 187 Kč

Time Out The Dave Brubeck Quartet Audio

Audio vinyl

511 Kč

Galatee, Ou l'Art de Plaire Dans La Conversation (Ed.1666) IEEE Signal Processing Society

Brožovaná

530 Kč

Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 10. Schuljahr Elke Cornetz

Pevná

708 Kč

Noah y yo: Una historia Gay Adolescente Maxwell Carlsen

Adobe ePub DRM

25 Kč

Bergere Des Alpes, Pastorale En Trois Actes Et En Vers, Melee de Chants Jean Francois Marmontel

Brožovaná

345 Kč

Dans La Lumiere Antique. Le Livre Des Sagesses. Le Livre de Clio. Luctus Matris Angellier-A

Brožovaná

421 Kč

CASAS INTERNACIONAL Nº 119. ALBERTO CAMPO BAEZA, ARQUITECTO V.V.A.A.

Kniha

407 Kč

Lieux de vie: ce qu'ils disent de nous Docteur Patrice Huerre

Brožovaná

702 Kč

22 Begegnungen mit

Pevná

592 Kč

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail. The following topics are covered: An historical account of the ProCoS project Hybrid Systems Correctness of Concurrent Algorithms Interfaces and Linking Automatic Verification Run-time Assertions Checking Formal and Semi-Formal Methods Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.