Hoppa till innehåll

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

Avancerad

Provably Correct Systems

Hänvisa
Textmeddelande
Skicka per e-post
Skriv ut
Exportera posten
Permanent länk

Exportação concluída —

Provably Correct Systems

Provably Correct Systems

Bibliografiska uppgifter
Huvudupphovsmän:	He, J, Hoare, C, Fränzle, M, Müller−Olm, M, Olderog, E, Schenke, M, Hansen, M, Ravn, A, Rischel, H
Materialtyp:	Conference item
Publicerad:	Springer 1994

Beståndsuppgifter
Beskrivning
Liknande verk
Katalogiseringsuppgifter

Liknande verk

A ProCoS−WG Working Group Final Report: ESPRIT Working Group 8694
av: Bowen, J, et al.
Publicerad: (2015)
Specification−oriented Semantics for Communicating Processes
av: Olderog, E, et al.
Publicerad: (1983)
Specification−oriented Semantics for Communicating Processes
av: Olderog, E, et al.
Publicerad: (1986)
A Provably Correct Compilation of Functional Languages into Scripting Languages
av: P. Giannini, et al.
Publicerad: (2017-06-01)
PROVABLY CONSISTENT DISTRIBUTED DELAUNAY TRIANGULATION
av: M. Brédif, et al.
Publicerad: (2020-08-01)

Sökalternativ

Sökhistorik
Avancerad sökning

Sök mera

Bläddra i katalogen
Bläddra alfabetiskt
Utforska kanaler
Kursböcker
Nytt i katalogen

Behöver du hjälp?

Söktips
Fråga biblioteket
Vanliga frågor