Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris ...

127 downloads 589 Views 5MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris ...

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris...

Methods in Molecular Biology TM VOLUME 177 Two-Hybrid Systems Methods and Protocols Edited by Paul N. MacDonald HUM...

Methods in Molecular Biology TM VOLUME 177 Two-Hybrid Systems Methods and Protocols Edited by Paul N. MacDonald HUM...

Methods in Molecular Biology TM VOLUME 177 Two-Hybrid Systems Methods and Protocols Edited by Paul N. MacDonald HUM...

Methods in Molecular Biology TM VOLUME 177 Two-Hybrid Systems Methods and Protocols Edited by Paul N. MacDonald HUM...

DYNAMICS AND CONTROL OF HYBRID MECHANICAL SYSTEMS WORLD SCIENTIFIC SERIES ON NONLINEAR SCIENCE Editor: Leon O. Chua U...

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris ...

ipamati kistamati pari tumatimis LU WIAN AND HITTITE STUDIES PRESENTED TO 1. DAVID HAWKINS ON THE OCCASION OF HIS 70TH...