Modelling in informatics. With CD-ROM.

DOI10.1007/978-3-642-18732-2MaRDI QIDQ4449113zbMATH OpenOpenAlexFDO

Authors Manfred Broy, R. Steinbrüggen

Publication date 4 February 2004

Published in Xpert.press (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-18732-2

zbMATH Keywords

algebraic modelingrequirements engineeringverification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• scientific article; zbMATH DE number 1542048
• Modelling Systems
• scientific article; zbMATH DE number 822576
• scientific article; zbMATH DE number 3854420
• scientific article; zbMATH DE number 5762567

Describes a project that uses

Uses Software

• Isabelle/HOL

This page was built for publication: Modelling in informatics. With CD-ROM.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449113)