scientific article; zbMATH DE number 3937124
From MaRDI portal
Publication:3710486
zbMATH Open0585.00010MaRDI QIDQ3710486FDOQ3710486
Authors:
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
- Special issue: Proceedings of the international summer school and workshop on Formal models of programming and their applications, Beijing, China, September 17--20, 1997
- scientific article; zbMATH DE number 48095
- Approximation of abstract semantics by formal models of programs
- Formal models and free program schemata
- scientific article; zbMATH DE number 488596
- Toward formal development of programs from algebraic specifications: model-theoretic foundations
- A formal model of programs
- scientific article; zbMATH DE number 4119655
- Formal models for some features of programming languages
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3710486)
