This book details the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. Each chapter is supplemented with detailed bibliographic remarks and exercises of varying difficulty and scope.

Verlag: Springer Berlin, Auflage 1, 424 Seiten

Erscheinungsdatum: 09.11.2014

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 321 Seiten

Erscheinungsdatum: 23.11.2011

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Unfoldings

A Partial-Order Approach to Model Checking

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 172 Seiten

Erscheinungsdatum: 30.11.2010

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Modeling Time in Computing

Produktform: Buch / Einband - fest (Hardcover)

This book details the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. Each chapter is supplemented with detailed bibliographic remarks and exercises of varying difficulty and scope.

Verlag: Springer Berlin, Auflage 1, 424 Seiten

Erscheinungsdatum: 19.10.2012

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Parsing Theory

Volume II LR(k) and LL(k) Parsing

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 427 Seiten

Erscheinungsdatum: 09.12.2010

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Erweiterte Suche

Multi-dimensional Searching and Computational Geometry

Formal Models Based on Tree Transducers

Equations and Initial Semantics

A Partial-Order Approach to Model Checking

Volume II LR(k) and LL(k) Parsing