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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Formal Methods for Industrial Applications

Name: Formal Methods for Industrial Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01566246
Price: 108.51 EUR
Availability: InStock
Author: Jean-Raymond Abrial
ISBN: 9783540619291

Specifying and Programming the Steam Boiler Control

Jean-Raymond Abrial

Egon Börger

Hans Langmaack

Език

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

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

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

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 1996

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evalua... Цялото описание

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

263 b

108.51 €

212.23 лв

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

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

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

Observations Geologiques Faites En Italie Gosselet-J

С меки корици

14.37 € 28.10 лв

Städtetourismus in Freiburg. Positive Impulse durch Kooperation mit dem Landkreis Breisgau-Hochschwarzwald? Matthias Fuchs

С меки корици

77.39 € 151.36 лв

Tagebücher Chris Hirte

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

30.19 € 59.04 лв

100 osvědčených stavebních detailů Klempířství a pokrývačství Bohumil Štumpa; Jiří Langner; Ondřej Šefců

Книга

15.56 € 30.43 лв

Der hl.Fridolin und seine Zeit Hermann Ays

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

19.02 € 37.20 лв

Historia, Fe y Practicas Menonitas: Un enfoque paraguayo Gerhard Ratzlaff

С меки корици

17.52 € 34.27 лв

La Mujer Ante La Lei Civil, La Política I El Matrimonio Santiago Vaca Guzman

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

32.57 € 63.69 лв

Der Einfluss aeusserer Faktoren auf das Geschlechtsleben in England Iwan Bloch

С меки корици

27.45 € 53.68 лв

Lucrezia Borgia Maria Bellonci

С меки корици

19.28 € 37.71 лв

Het betoverde kasteel 1 - Zwarte magie Gotthardt

MP3

4.29 € 8.38 лв

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.