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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Java and the Java Virtual Machine

Name: Java and the Java Virtual Machine
Brand: Springer, Berlin
SKU: 05281816
Price: 53.37 EUR
Availability: InStock
Author: Robert F. Stärk
ISBN: 9783642639975

Definition, Verification, Validation

Robert F. Stärk

Joachim Schmid

Egon Börger

Език

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

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

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

Издателство Springer, Berlin, януари 2014

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized... Цялото описание

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

129 b

53.37 €

104.39 лв

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

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

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

Upratané! Marie Kondo

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

17.18 € 33.61 лв

Galgenlieder und andere Gedichte. Gallows Songs and Other Poems Christian Morgenstern

С меки корици

21.95 € 42.93 лв

Kreditwurdigkeitsprufung Mit Kunstlichen Neuronalen Netzen Christoph Schnurr

С меки корици

49.91 € 97.61 лв

Die Entwicklung Des Menschen VOR Der Geburt Ivar Broman

С меки корици

55.96 € 109.46 лв

Handlungsziele und Gestaltungsmoeglichkeiten des Insolvenzverwalters im neuen Insolvenzrecht Claus J. Kathke

С меки корици

0.00 € 0.00 лв

Massa Carrara esoterica Patrizia Oliverio

С меки корици

15.94 € 31.18 лв

Die (Un-)Möglichkeit russischer Imperialpolitik Eugeniusz Gostomski

С меки корици

29.20 € 57.10 лв

REYNALDO HAHN: CONCERTO (VIOLIN & PIANO) HAHN Книга

binding.

95.31 € 186.41 лв

Les Merveilles du monde invisible David Gates

С меки корици

29.14 € 57.00 лв

Atlas de la Shoah Bensoussan

С меки корици

26.24 € 51.33 лв

Na neve do lobo da xente EMILIO ARAUXO

С меки корици

22.41 € 43.84 лв

Todo mundo tem um anjo da guarda Pedro Siqueira

С меки корици

25.78 € 50.42 лв

Knossi - König des Internets Julian Laschewski

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

20.81 € 40.70 лв

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the University of Ulm, Germany, questioned whether ASMs provide anything special as a scientifically well founded and rigorous yet simple and industrially viable framework for high level design and analysis of complex systems, and for natural refinements of models to executable code. Wolfram Schulte argued, referring to his work with K. Achatz on A Formal Object-Oriented Method Inspired by Fusion and Object-Z [1], that with current techniques of functional programming and of axiomatic specification, one can achieve the same result. An intensive and long debate arose from this discussion. At the end of the week, it led Egon Borger to propose a collaboration on a real-life specification project of Wolfram Schulte's choice, as a comparative field test of purely functional declarative methods and of their enhancement within an integrated abstract state-based operational (ASM) approach. After some hesitation, in May 1997 Wolfram Schulte accepted the offer and chose as the theme a high-level specification of Java and of the Java Virtual Machine.