Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Formal Methods in Software and Systems Modeling

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
BookPaperback
Ranking8449in
CHF130.00

Description

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields.
More descriptions

Details

ISBN/GTIN978-3-540-24936-8
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date09/02/2005
SeriesLecture Notes in Computer Science
Series no.3393
Pages420 pages
LanguageEnglish
SizeWidth 155 mm, Height 235 mm
Weight1380 g
Article no.1094704
CatalogsBuchzentrum
Data source no.1365941
More details

Series

Author

Subjects

BZ
Abstract ~ Computation by Abstract Devices
Automata ~ Formal Languages and Automata Theory
C
Compilers & interpreters
Compilers and Interpreters
Compilers ~ Programming Languages, Compilers, Interpreters
Computation by Abstract Devices
Computation ~ Theory of Computation
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
Computer logic
Computer programming / software engineering
Computer science-Mathematics
Computer ~ Discrete Mathematics in Computer Science
Computers
Devices ~ Computation by Abstract Devices
Discrete Mathematics
Discrete Mathematics in Computer Science
Electronic computers (Programming languages)
Engineering ~ Software Engineering
Formal Languages and Automata Theory
Formal ~ Mathematical Logic and Formal Languages
Foundations ~ Computer Science Logic and Foundations of Programming
Interpreters ~ Compilers and Interpreters
Interpreters ~ Programming Languages, Compilers, Interpreters
Languages ~ Formal Languages and Automata Theory
Languages ~ Mathematical Logic and Formal Languages
Languages ~ Programming Languages, Compilers, Interpreters
Logic ~ Computer Science Logic and Foundations of Programming
Logic ~ Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Mathematics ~ Computer science-Mathematics
Mathematics ~ Discrete Mathematics
Mathematics ~ Discrete Mathematics in Computer Science
Maths for computer scientists
Meanings ~ Logics and Meanings of Programs
Programming & scripting languages: general
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Programming ~ Computer Science Logic and Foundations of Programming
Programs ~ Logics and Meanings of Programs
Science ~ Computer Science Logic and Foundations of Programming
Science ~ Discrete Mathematics in Computer Science
Software Engineering
Theory of Computation
Theory ~ Formal Languages and Automata Theory
and ~ Compilers and Interpreters
and ~ Computer Science Logic and Foundations of Programming
and ~ Formal Languages and Automata Theory
and ~ Logics and Meanings of Programs
and ~ Mathematical Logic and Formal Languages
architecture ~ Computer architecture & logic design
computer science
computer ~ Maths for computer scientists
computers ~ Programming languages (Electronic computers)
design ~ Computer architecture & logic design
engineering ~ Computer programming / software engineering
for ~ Maths for computer scientists
general ~ Programming & scripting languages: general
interpreters ~ Compilers & interpreters
languages ~ Programming & scripting languages: general
languages ~ Programming languages (Electronic computers)
logic ~ Computer architecture & logic design
logic ~ Computer logic
logic ~ Mathematical logic
programming ~ Computer programming / software engineering
science ~ Computer science-Mathematics
science ~ computer science
scientists ~ Maths for computer scientists
scripting ~ Programming & scripting languages: general
software ~ Computer programming / software engineering
VLB main reading rationale