Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Java and the Java Virtual Machine

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

Definition, Verification, Validation

Robert F. Stärk

Joachim Schmid

Egon Börger

Limba

engleză

Carte Carte broșată

Codul Libristo: 05281816

Editura Springer, Berlin, ianuarie 2014

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized... Descrierea completă

Codul Libristo: 05281816

129 b

280.08 lei

În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Les Merveilles du monde invisible David Gates

Carte broșată

146.60 lei

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

Carte broșată

115.11 lei

Kreditwurdigkeitsprufung Mit Kunstlichen Neuronalen Netzen Christoph Schnurr

Carte broșată

261.83 lei

Die Entwicklung Des Menschen VOR Der Geburt Ivar Broman

Carte broșată

293.85 lei

Upratané! Marie Kondo

Copertă tare

85.29 lei

Massa Carrara esoterica Patrizia Oliverio

Carte broșată

79.66 lei

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

Carte broșată

146.40 lei

REYNALDO HAHN: CONCERTO (VIOLIN & PIANO) HAHN Carte

binding.

479.46 lei

Atlas de la Shoah Bensoussan

Carte broșată

132.01 lei

Na neve do lobo da xente EMILIO ARAUXO

Carte broșată

112.51 lei

Todo mundo tem um anjo da guarda Pedro Siqueira

Carte broșată

135.24 lei

Knossi - König des Internets Julian Laschewski

Copertă tare

103.33 lei

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.