Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Software Engineering 2 Vol.2

Specification of Systems and Languages
BuchGebunden
780 Seiten
Englisch
Springererschienen am22.02.2006
Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies.mehr
Verfügbare Formate
BuchGebunden
EUR53,49
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextFinally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies.
Zusammenfassung
Three-volume set brings reader from basic principles to very advanced principles and techniques

Suitable for undergraduate and graduate students in software engineering

Emphasis on presenting application domains both informally and formally

Includes supplementary material: sn.pub/extras

Request lecturer material: sn.pub/lecturer-material
Details
ISBN/GTIN978-3-540-21150-1
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2006
Erscheinungsdatum22.02.2006
ReiheTexts in Theoretical Computer Science. An EATCS Series
Seiten780 Seiten
SpracheEnglisch
Gewicht1246 g
IllustrationenXXIV, 780 p. 151 illus.
Artikel-Nr.11476884

Inhalt/Kritik

Inhaltsverzeichnis
Opening.- Specification Facets.- Hierarchies and Compositions.- Denotations and Computations.- Configurations: Contexts and States.- A Crucial Domain and Computing Facet.- Time, Space and Space/Time.- Linguistics.- Pragmatics.- Semantics.- Syntax.- Semiotics.- Further Specification Techniques.- Modularisation.- Automata and Machines.- Concurrency and Temporality.- Petri Nets.- Message and Live Sequence Charts.- Statecharts.- Quantitative Models of Time.- Interpreter and Compiler Definitions.- SAL: Simple Applicative Language.- SIL: Simple Imperative Language.- SMIL: Simple Modular, Imperative Language.- SPIL: Simple Parallel, Imperative Language.- Closing.- Closing.mehr
Kritik
From the reviews:



"The present volume is the second one of a trilogy on formal development of large scale systems. ... Each topic is presented by means of many examples ... . The end of each chapter includes several exercises that demonstrate the topics in a more realistic setting. The quite large spectrum of modelling and specification tools ... provide the reader with a comprehensive understanding ... . the book appeals to researchers and to practitioners involved in language specification and modelling of real time and concurrent systems." (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)mehr