Howard Bowman – författare
Visar alla böcker från författaren Howard Bowman. Handla med fri frakt och snabb leverans.
8 produkter
Formal Methods for Open Object-based Distributed Systems
Volume 2
Av John Derrick, Howard Bowman
E-bok, 2016
2925 kr
Lägg i varukorg
This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the …
Formal Methods for Open Object-based Distributed Systems
Volume 2
Av Howard Bowman, John Derrick
Inbunden, 1997
2249 kr
Lägg i varukorg
This text presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. Topics discussed include: object-oriented design and programming; formal specification of distributed systems; open …
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
Av Howard Bowman, John Derrick
Häftad, 2011
854 kr
Lägg i varukorg
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, …
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
Av Howard Bowman, John Derrick
Inbunden, 2001
2398 kr
Lägg i varukorg
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, …
Concurrency Theory
Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Av Rodolfo Gomez, Howard Bowman
E-bok, 2006
2174 kr
Lägg i varukorg
Intheworldweliveinconcurrencyisthenorm.Forexample,thehumanbody isamassivelyconcurrentsystem,comprisingahugenumberofcells,allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition,inthebiologicalworld,trulysequentialsystemsrarely arise. However, they …
Concurrency Theory
Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Av Howard Bowman, Rodolfo Gomez
Häftad, 2010
1688 kr
Lägg i varukorg
Intheworldweliveinconcurrencyisthenorm.Forexample,thehumanbody isamassivelyconcurrentsystem,comprisingahugenumberofcells,allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition,inthebiologicalworld,trulysequentialsystemsrarely arise. However, they …
Concurrency Theory
Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Av Howard Bowman, Rodolfo Gomez
Inbunden, 2005
1688 kr
Lägg i varukorg
Intheworldweliveinconcurrencyisthenorm.Forexample,thehumanbody isamassivelyconcurrentsystem,comprisingahugenumberofcells,allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition,inthebiologicalworld,trulysequentialsystemsrarely arise. However, they …
CONNECTIONIST MODELS OF COGNITION AND PERCEPTION II - PROCEEDINGS OF THE EIGHTH NEURAL COMPUTATION AND PSYCHOLOGY WORKSHOP
Av BOWMAN HOWARD, Howard Bowman m. fl.
Inbunden, 2004
2514 kr
Tillfälligt slut
This book collects together refereed versions of papers presented at the Eighth Neural Computation and Psychology Workshop (NCPW 8). NCPW is a well-established workshop series that brings together researchers from different disciplines, such as artificial intelligence, cognitive science, computer …
