Hans Langmaack | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS - THIRD INTERNATIONAL SYMPOSIUM ORGANIZED JOINTLY WITH THE WORKING GRO

Hans Langmaack; Willem-Paul de Roever; Jan Vytopil
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1994)
Pehmeäkantinen kirja

101,40 €

1. FACHTAGUNG ÜBER PROGRAMMIERSPRACHEN - MÜNCHEN, 9.–11. MÄRZ 1971

Hans Langmaack; Manfred Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1972)
Pehmeäkantinen kirja

52,80 €

VDM '90. VDM AND Z - FORMAL METHODS IN SOFTWARE DEVELOPMENT - THIRD INTERNATIONAL SYMPOSIUM OF VDM EUROPE, KIEL, FRG, APRIL 17-2

Dines Bjorner; C. A. R. Hoare; Hans Langmaack
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1990)
Pehmeäkantinen kirja

51,40 €

COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE - INTERNATIONAL SYMPOSIUM, COMPOS’97 BAD MALENTE, GERMANY, SEPTEMBER 8–12, 1997 REV

Willem-Paul de Roever; Hans Langmaack; Amir Pnueli
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1998)
Pehmeäkantinen kirja

101,40 €

FORMAL METHODS FOR INDUSTRIAL APPLICATIONS - SPECIFYING AND PROGRAMMING THE STEAM BOILER CONTROL

Jean-Raymond Abrial; Egon Börger; Hans Langmaack
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Pehmeäkantinen kirja

101,40 €

Formal Techniques in Real-Time and Fault-Tolerant Systems - Third International Symposium Organized Jointly with the Working Gro

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil

101,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 787 sivua
Asu: Pehmeäkantinen kirja
Painos: 1994 ed.
Julkaisuvuosi: 1994, 07.09.1994 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 863

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.
The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus