Formal Methods and Hybrid Real-Time Systems > Editions

collapse details

by Cliff B. Jones First published November 9th 2007

Sort by

Format

Language

Editions

Showing 1-2 of 2

Formal Methods and Hybrid Real-Time Systems (Paperback)

Published September 10th 2008 by Springer

Paperback, 564 pages

Author(s):

Cliff B. Jones (editor),

ISBN:

9783540844280 (ISBN10: 3540844287)

ASIN:

3540844287

Edition language:

English

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

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, 4700)

Published September 6th 2007 by Springer

2007, Paperback, 558 pages

Author(s):

Cliff B. Jones (Editor),

Zhiming Liu (Editor),

Jim Woodcock (Editor)

ISBN:

9783540752202 (ISBN10: 354075220X)

ASIN:

354075220X

Edition language:

English

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars