Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /

QR Code

Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /

Bibliographic Details
Format:	Book
Language:	English
Published:	c2015.
Online Access:	Ver documento en línea

Similar Items

Perspectives in Mathematical System Theory, Control, and Signal Processing : A Festschrift in Honor of Yutaka Yamamoto on the Occasion of his 60th Birthday /
Published: (2010)

Provably Correct Systems /
Published: (2017)

Cepas : studies presented to George Thomson on the occasion of his 60th birthday /
by: Varcl, Ladislav, et al.
Published: (1963)

Correct by construction approaches for soc design /
Published: (2014)

Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday /
Published: (2009)

Algorithms and applications : Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday.

Advanced hardware design for error correcting codes /
Published: (2015)

Embedded, cyber-physical, and IoT systems : essays dedicated to Marilyn Wolf on the occasion of her 60th birthday /
Published: (2020)

Computability and complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Published: (2017)

Computation, cooperation, and life : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday /
Published: (2011)

Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Published: (2017)

Correct reasoning : essays on logic-based AI in honor of Vladimir Lifschitz /
Published: (2012)

Contributions to nonlinear elliptic equations and systems : a tribute to Djairo Guedes de Figueiredo on the occasion of his 80th birthday /
Published: (2015)

Concurrency, security, and puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Published: (2017)

Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Published: (2017)

Advances in mathematical fluid mechanics : Dedicated to Giovanni Paolo Galdi on the Occasion of his 60th Birthday.

The corrections /
by: Franzem, Jonathan
Published: (2001)

Concurrency, compositionality, and correctness : Essays in Honor of Willem-Paul de Roever /
Published: (2010)

Conceptual modelling and its theoretical foundations : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday /
Published: (2012)

Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday /
Published: (2019)

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Published: (2017)

Analysis and topology in nonlinear differential equations : A tribute to Bernhard Ruf on the occasion of his 60th birthday.

Advances in dynamics, optimization and computation : A volume dedicated to Michael Dellnitz on the occasion of his 60th birthday.

A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday /
Published: (2016)

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Published: (2017)

Adventures between lower bounds and higher altitudes : Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday.

Applied algebra, algebraic algorithms and error-correcting codes : 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings.

Mistakes and correction
by: Edge, Julian, 1948-
Published: (1989)

Advances in rams engineering : In honor of professor Ajit Kumar Verma on his 60th birthday.

Mistakes and Correction
by: Edge, Julian
Published: (1990)

cancer correctal
by: Neira Cuadra, Jorge Isaac
Published: (1991)

Essays in the natural sciences in honor of captain Allan Hancock : on the occasion of his birthday july 26, 1955.
Published: (1955)

Analysis as a life : Dedicated to Heinrich Begehr on the Occasion of his 80th Birthday.

Algorithms, probability, networks, and games : Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday.

Asymptotic, algebraic and geometric aspects of integrable systems : In Honor of Nalini Joshi On Her 60th Birthday, TSIMF, Sanya, China, april 9-13, 2018.

Cyber physical systems. Design, modeling, and evaluation. : 5th International Workshop, CyPhy 2015 Amsterdam, The Netherlands, October 8, 2015 Proceedings /
Published: (2015)

Speech correction : principles and methods.
by: Van Riper, Charles 1905-1994, et al.
Published: (1953)

Gene Correction : Methods and Protocols /
Published: (2014)

Commutative algebra : Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th Birthday /
Published: (2013)

Computing with new resources : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
Published: (2014)