fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Bjørner

Software Engineering 2

Specification of Systems and Languages

Medium: Buch
ISBN: 978-3-540-21150-1
Verlag: Springer
Erscheinungstermin: 22.02.2006
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken

Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.

This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. 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. Vol. 1of this series is a prerequisite text.

Produkteigenschaften

  • Artikelnummer: 9783540211501
  • Medium: Buch
  • ISBN: 978-3-540-21150-1
  • Verlag: Springer
  • Erscheinungstermin: 22.02.2006
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2006
  • Serie: Texts in Theoretical Computer Science. An EATCS Series
  • Produktform: Gebunden, HC runder Rücken kaschiert
  • Gewicht: 1361 g
  • Seiten: 780
  • Format (B x H x T): 160 x 241 x 48 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Autoren

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.