Einführung in die Informatik. Algorithmenentwicklung. (Introduction into computer science. Development of algorithms.)

zbMath0726.68003MaRDI QIDQ1188922

Fred Kröger

Publication date: 23 January 1993

Published in: Springer-Lehrbuch (Search for Journal in Brave)

zbMATH Keywords

verificationalgorithmsspecification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of computing (68Q99)

Uses Software

• Unnamed Item

This page was built for publication: Einführung in die Informatik. Algorithmenentwicklung. (Introduction into computer science. Development of algorithms.)