Modellbildung in der Informatik (Xpert.press)
Edition: 1 edition
Publisher: Springer
Published: October 10, 2003
Language: ger
Format: Hardcover
Number of pages: 256
ISBN-13: 9783540442929
Subjects: Information Technology; Anforderungsmodellierung; Applikative Programmierung; Asynchrone Kommunikation; Beweiskalkül; Beweisrahmen; CASE Tools; Chomsky-Grammatiken; Computers / Information Technology; Formale Spezifikation; HOL; Modelldesign; Parallele Prozesse; Rechenstrukturen; Verfeinerung; Verifikation; Verteilte Systeme; Computers - General Information
First sentence: Informatik ist die Disziplin vom Problemlosen mit Mitteln der Informationsverarbeitung.