Hans Langmaack (ed.) | Akateeminen Kirjakauppa

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

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

Tekijä: Hans Langmaack (ed.); Willem-Paul de Roever (ed.); Jan Vytopil (ed.)
Kustantaja: Springer (1994)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

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

Tekijä: Dines Bjørner (ed.); C.A.R. Hoare (ed.); Hans Langmaack (ed.)
Kustantaja: Springer (1990)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Willem-Paul de Roever (ed.); Hans Langmaack (ed.); Amir Pnueli (ed.)
Kustantaja: Springer (1998)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

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

Tekijä: Hans Langmaack (ed.); Manfred Paul (ed.)
Kustantaja: Springer (1972)
Saatavuus: Noin 17-20 arkipäivää

EUR 51,00

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

Hans Langmaack (ed.), Willem-Paul de Roever (ed.), Jan Vytopil (ed.)

97,90 €

Springer
Sivumäärä: 787 sivua
Asu: Pehmeäkantinen kirja
Painos: 1994
Julkaisuvuosi: 1994, 07.09.1994 (lisätietoa)
Kieli: Englanti

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 17-20 arkipäivässä

Myymäläsaatavuus