Compositionality: the significant difference | Roever, Willem-Paul, de. Directeur van de publicatie
0/5

0 recensie
Titel
Compositionality: the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997. Revised lecture
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
Auteur(s)
Roever, Willem-Paul, de. Directeur van de publicatie
Auteur(s)
Langmaack, Hans. Directeur van de publicatie
Auteur(s)
Pnueli, Amir. Directeur van de publicatie
Auteur(s)
International symposium on compositionality: the significant difference (Bad Malente). September 8-12, 1997
ISBN
3-540-65493-3
Bibliografisch adres
Berlin ; Heidelberg ; New York : Springer Verlag, 1998
Taal
Engels
Land
Various places
Type inhoud
tekst
Type drager
volume
Behoort tot
Lecture notes in computer science / Goos, Gerhard ; KBR ; 1536
Onderwerp(en)
Parallelle verwerking (Computers) -- Congressen  
Theorema's--Automatische bewijsvoering -- Congressen  
ISBD
Bekijk de ISBD weergave
Compositionality: the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997. Revised lecture / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.). - Berlin ; Heidelberg ; New York : Springer Verlag, 1998. - ISBN 3-540-65493-3.


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

Een document aanvragen

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