منو
رکورد قبلیرکورد بعدی

" Formale Methoden und kleine Systeme : "


Document Type : BL
Record Number : 716151
Doc. No : b538306
Main Entry : Dirk Siefkes.
Title & Author : Formale Methoden und kleine Systeme : : Lernen, leben und arbeiten in formalen Umgebungen\ Dirk Siefkes.
Publication Statement : Braunschweig: Vieweg, 1993
Series Statement : Theorie der Informatik
Page. NO : 190 Seiten : Illustrationen.
ISBN : 352805199X
: : 9783528051990
Contents : Kleine Systeme - Ungelogene unlogische Geschichten - Formalisieren und Verstehen - Wie man Anderen Beweise und Programme klarmachen kann - Prototyping als Theoriebildung - Beziehungskiste Mensch-Maschine - Wende zur Phantasie: Die Praxis der Entstehung von Theorie in der Informatik.
Subject : Formalisierung.
Subject : Informatik.
Subject : Kleines System.
Added Entry : Dirk Siefkes
copyhttps://lib.clisel.com/site/catalogue/716151
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟