Formal Aspects of Computing 2/1998 | springerprofessional.de

Springer Professional

nach oben

Formal Aspects of Computing

Inhalt (5 Artikel)

Original Paper

Specifying and Refining Internal Operations in Z

John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen

Original Paper

A Note on Kobayashi's and Yonezawa's “Asynchronous Communication Model Based on Linear Logic”

Philippe de Groote, Guy Perrier

Short Communication

Expressive Power of Specification Languages

Ian J. Hayes

Original Paper

Winskel is (almost) Right: Towards a Mechanized Semantics Textbook

Tobias Nipkow

Original Paper

A Program Refinement Tool

D. Carrington, I. Hayes, R. Nickson, G. Watson, J. Welsh

Ausgabe: 1/1998

Anzeige

Aktuelle Ausgaben

Formal Aspects of Computing 6/2021
Formal Aspects of Computing 4-5/2021
Extended versions of papers presented at FM 2019
Formal Aspects of Computing 3/2021
Formal Methods and AI
Formal Aspects of Computing 2/2021
Formal Aspects of Computing 1/2021
EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2018
Formal Aspects of Computing 4-6/2020
Formal Aspects of Computing 2-3/2020
Formal Methods for Robotics
Formal Aspects of Computing 1/2020
Formal Aspects of Computing 6/2019
SPECIAL ISSUE ON HISTORY OF FORMAL METHODS
Formal Aspects of Computing 5/2019
EXTENDED VERSIONS OF SELECTED PAPERS PRESENTED AT FASE 2018

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

Weitere Formate
Fachgebiete
Bücher
Zeitschriften
Themenseiten
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024