Formale Programmentwicklung mit dynamischer Logik
Published on 1. January 1992
Book
Paperback/Softback
IX, 288 pages
978-3-8244-2031-5 (ISBN)
More details
Series
Edition
1992
Language
German
Place of publication
Wiesbaden
Germany
Target group
Professional and scholarly
Research
Illustrations
IX, 288 S.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 17 mm
Weight
455 gr
ISBN-13
978-3-8244-2031-5 (9783824420315)
DOI
10.1007/978-3-663-14621-6
Schweitzer Classification
Other editions
Additional editions
Maritta Heisel
Formale Programmentwicklung mit dynamischer Logik
E-Book
06/2019
Deutscher Universitätsverlag
€35.96
Available for download