Formal techniques in real-time and fault-tolerant systems | Langmaack, Hans. Directeur van de publicatie
0/5

0 recensie
Titel
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings
H. Langmaack ; W.-P. de Roever ; J. Vytopil ; eds
Auteur(s)
Langmaack, Hans. Directeur van de publicatie
Auteur(s)
Roever, W.-P. de. Directeur van de publicatie
Auteur(s)
Vytopil, J. Directeur van de publicatie
ISBN
0-387-58468-4
Bibliografisch adres
Berlin ; New York : Springer-Verlag, 1994
Taal
Engels
Land
United States
Type inhoud
tekst
Type drager
volume
Behoort tot
Lecture notes in computer science / Goos, Gerhard ; 863
Onderwerp(en)
Real-time -- Congressen  
Storingsbestendige computerverwerking -- Congressen  
ISBD
Bekijk de ISBD weergave
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack ; W.-P. de Roever ; J. Vytopil ; eds. - Berlin ; New York : Springer-Verlag, 1994. - ISBN 0-387-58468-4.


Fout of probleem melden?
Permalink
Beschikbare exemplaren worden gecheckt...

Een document aanvragen

Beschikbare exemplaren worden gecheckt...
Opladen van de verrijkingen...