Modellbildung in der Informatik

DOI10.1007/978-3-642-18732-2zbMATH Open1046.68126OpenAlexW2401449486MaRDI QIDQ4449113

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

verificationrequirements engineeringalgebraic modeling

Mathematics Subject Classification ID

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

Uses Software

• Title not available (Why is that?)

This page was built for publication: Modellbildung in der Informatik

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