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

Michael Gerard Hinchey

8 cilt bulundu.

Cilt sonuçları

ICFEM 2000

Shaoying Liu, John McDermid, Michael Gerard Hinchey · IEEE Computer Society Press

226 sayfa · 2000

Mathematics

Seven More Myths of Formal Methods

Seven More Myths of Formal Methods

Jonathan Peter Bowen, Michael Gerard Hinchey · Yayınevi bilinmiyor

24 sayfa · 1994

Software engineering

Concurrent Systems

Concurrent Systems

Michael Gerard Hinchey, Stephen A. Jarvis · McGraw-Hill Companies

204 sayfa · 1995

Computers

Distributed, Parallel and Biologically Inspired Systems

Distributed, Parallel and Biologically Inspired Systems

Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay, Franz J. Rammig, Jon Timmis, · Springer

Software engineeringJSD, RPT and the Design of Real-time SystemsMichael Gerard Hinchey

JSD, RPT and the Design of Real-time Systems

Michael Gerard Hinchey · Yayınevi bilinmiyor

183 sayfa · 1992

Software engineering

CiltStructural Design and Formal MethodsMichael Gerard Hinchey

Structural Design and Formal Methods

Michael Gerard Hinchey · Yayınevi bilinmiyor

Sayfa sayısı yok · 1999

Kategori yok

ComputersAdvances in Case-Based ReasoningIan Smith, Boi Faltings

Advances in Case-Based Reasoning

Ian Smith, Boi Faltings · Springer

Sayfa sayısı yok · 1996-10-23

Computers

Software engineeringTen Commandments of Formal MethodsJonathan Peter Bowen, Michael Gerard Hinchey

Ten Commandments of Formal Methods

Jonathan Peter Bowen, Michael Gerard Hinchey · Yayınevi bilinmiyor

18 sayfa · 1994

Software engineering

325 sayfa · 2010-08-06

Computers