Formal methods for concurrency / Clive Fencott

By:

Fencott, Clive [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: London [u.a.] : International Thomson Computer Press, 1996Edition: 1. printDescription: XIII, 290 S. : graph. DarstISBN:

1850321736

Subject(s):

Nebenläufigkeit
Formale Methode
Echtzeitprogrammierung
Computers (Software)
Parallel processing (Electronic computers)
Parallel programming

DDC classification:

001.64
005.42
004.35

RVK: RVK: ST 130 | ST 150Action note:

PPN: PPN: 278592260

Holdings ( 1 )
Title notes ( 1 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Freihandbestand ausleihbar	Fachbibliothek Informatik	D.Fen	Bibliothek / frei aufgestellt	D.Fen(16478)	Available		000295224090

Total holds: 0

Archivierung prüfen 20200919 DE-640 1 pdager

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)