BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Jones Woodcock

4 cilt bulundu.

Cilt sonuçları

Theoretical Aspects of Computing - Ictac 2007

Theoretical Aspects of Computing - Ictac 2007

Cliff B. Jones, Zhiming Liu, Jones Woodcock · Springer

Sayfa sayısı yok · 2008

Kategori yok

Formal methods and hybrid real-time systems

Formal methods and hybrid real-time systems

D. Bjørner, Jones, C. B., Jim Woodcock · Springer London, Limited

538 sayfa · 2007

Formal methods (Computer science) / Congresses / Real-time data processing / System design

Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems

Cliff B. Jones, Jim Woodcock, Zhiming Liu · Springer

Sayfa sayısı yok · 2008

Kategori yok

Information theoryTheoretical Aspects of Computing - ICTAC 2007Cliff B. Jones, Zhiming Liu, Jones Woodcock

Theoretical Aspects of Computing - ICTAC 2007

Cliff B. Jones, Zhiming Liu, Jones Woodcock · Springer London, Limited

Sayfa sayısı yok · 2007

Electronic data processing / Information theory