登入選單
Google圖書搜尋
Formal Methods for Components and Objects
作者
Frank S. de Boer / Marcello M. Bonsangue / Susanne Graf / Willem-Paul de Roever
出版Springer, 2004-11-08
ISBN
9783540301011 / 3540301011
主題
Computers
Final Semantics for Decorated Traces
作者
Filippo Bonchi / Marcello M. Bonsangue / Georgiana Caltais / Jan Rutten / Alexandra Silva
出版2012
ISBN
OCLC:1083847218
Formal Methods for Components and Objects
作者
Marcello M. Bonsangue / Eric Madelaine
出版Springer Science & Business Media, 2009-09-07
ISBN
9783642041662 / 3642041663
主題
Computers
An Approach to Object-orientation in Action System...
作者
Marcello M. Bonsangue / Joost N. Kok / Kaisa Sere
出版1997
ISBN
952120124X / 9789521201240
Developing Object-based Distributed Systems
作者
Marcello M. Bonsangue / Joost N. Kok / Kaisa Sere
出版1998
ISBN
9521202491 / 9789521202490
Formal Methods for Components and Objects
作者
Frank S. De Boer / Marcello M. Bonsangue / Susanne Graf / Willem-Paul De Roever
出版2007
ISBN
835407479X / 9788354074793
主題
Computer science
A Logical Interface Description Language for Compo...
作者
Farhad Arbab / Marcello M. Bonsangue / Frank S. de Boer
出版2000
ISBN
OCLC:47301942
Towards an Infinitary Logic of Domains
作者
Marcello Maria Bonsangue / Joost Nico Kok / Centrum voor Wiskunde en Informatica
出版1999
ISBN
OCLC:247124553
Formal Methods for Open Object-Based Distributed S...
作者
Marcello M. Bonsangue / Einar Broch Johnsen
出版Springer, 2007-05-25
ISBN
3540729194 / 9783540729198
主題
Computers
Coalgebraic Logic and Synthesis of Mealy Machines
作者
Marcello M. Bonsangue / Jan J. M. M. Rutten / Alexandra M. Silva / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
出版2007
ISBN
OCLC:213300216
A Compositional Model for Confluent Dynamic Data-f...
作者
Frank S. de Boer / Marcello M. Bonsangue
出版2000
ISBN
OCLC:47301973
Comparing Coordination Models and Architectures Us...
作者
Marcello M. Bonsangue / Joost N. Kok / Gianluigi Zavattaro
出版2000
ISBN
OCLC:123286063
Re-interpreting the Modal M-calculus
作者
Marcello Maria Bonsangue / Marta Zofia Kwiatkowska
出版1994
ISBN
OCLC:67460881