Specification and verification of concurrent systems / C. Rattray (ed.)

Contributor(s):

Rattray, Charles [Hrsg.]
British Computer Society. Specialist Group in Formal Aspects of Computing Science [oth]
Workshop on Specification and Verification of Concurrent Systems (1988 : Stirling) [oth]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Workshops in computingPublisher: London ; Berlin ; Heidelberg [u.a.] : Springer, 1990Description: VIII, 612 S. : graph. DarstISBN:

3540195815
0387195815

Subject(s):

Nebenläufigkeit
Spezifikation
Verifikation
Electronic data processing
Parallel processing (Electronic computers)
Computer systems. Operating systems. Concurrent programming
Operating systems (Computers)
Parallel processing (Electronic computers)
Operating systems (Computers)

Genre/Form:

Konferenzschrift -- 1988 -- Stirling

MSC: MSC: *68-06 | 68Q10 | 68Q60RVK: RVK: SS 1988 | ST 150LOC classification:

QA76.6

Contents:

Call number: Grundsignatur: 90 A 3037PPN: PPN: 275644863

Holdings ( 1 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	90 A 3037	Available		46037621090

Total holds: 0

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)