Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Java and the Java Virtual Machine

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

Definition, Verification, Validation

Robert F. Stärk

Joachim Schmid

Egon Börger

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 05281816

Nakladnici Springer, Berlin, siječanj 2014

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized... Cijeli opis

Libristo kod: 05281816

122 b

50.62 €

Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Upratané! Marie Kondo

Tvrdi uvez

15.48 €

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

Meki uvez

20.75 €

Kreditwurdigkeitsprufung Mit Kunstlichen Neuronalen Netzen Christoph Schnurr

Meki uvez

47.28 €

Die Entwicklung Des Menschen VOR Der Geburt Ivar Broman

Meki uvez

53.15 €

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

Meki uvez

0.00 €

Massa Carrara esoterica Patrizia Oliverio

Meki uvez

14.47 €

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

Meki uvez

26.52 €

REYNALDO HAHN: CONCERTO (VIOLIN & PIANO) HAHN Knjiga

binding.

87.38 €

Les Merveilles du monde invisible David Gates

Meki uvez

26.72 €

Atlas de la Shoah Bensoussan

Meki uvez

24.09 €

Na neve do lobo da xente EMILIO ARAUXO

Meki uvez

20.44 €

Todo mundo tem um anjo da guarda Pedro Siqueira

Meki uvez

24.39 €

Knossi - König des Internets Julian Laschewski

Tvrdi uvez

18.62 €

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.