Formal methods for industrial applications | Abrial, Jean-Raymond. Auteur
0/5

0 recensie
Titel
Formal methods for industrial applications : specifying and programming the steam boiler control
Jean-Raymond Abrial, Egon Börger, Hans Langmaack (Eds.)
Auteur(s)
Abrial, Jean-Raymond. Auteur
Auteur(s)
Börger, Egon. Auteur
Auteur(s)
Langmaack, Hans. Directeur van de publicatie
ISBN
3-540-61929-1
Bibliografisch adres
Berlin ; Heidelberg ; New York : Springer, 1996
Taal
Engels
Land
Various places
Type inhoud
tekst
Type drager
volume
Behoort tot
Lecture notes in computer science / Goos, Gerhard ; 1165
Onderwerp(en)
Stoomketels -- Automatische controle -- Gegevensverwerking  
ISBD
Bekijk de ISBD weergave
Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack (Eds.). - Berlin ; Heidelberg ; New York : Springer, 1996. - ISBN 3-540-61929-1.


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

Een document aanvragen

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