登入選單
Google圖書搜尋
Algebraic Methodology and Software Technology
作者
José Meseguer / Grigore Rosu
出版Springer Science & Business Media, 2008-07-15
ISBN
9783540799795 / 3540799796
主題
Computers
Order-sorted Unification
作者
José Meseguer / Joseph A. Goguen / Gert Smolka
出版1987
ISBN
OCLC:18419382
主題
Logic, Symbolic and mathematical
Order-Sorted Equational Computation
作者
Gert Smolka / Werner Nutt / Joseph A. Goguen / José Meseguer
出版2023
ISBN
OCLC:1396210936
A Comparison of Petri Net Semantics Under the Coll...
作者
Roberto Bruni / José Meseguer / Ugo Montanari / Vladimiro Sassone
出版1998
ISBN
OCLC:247646835
All About Maude - A High-Performance Logical Frame...
作者
Manuel Clavel / Francisco Durán / Steven Eker / Patrick Lincoln / Narciso Martí-Oliet / José Meseguer / Carolyn Talcott
出版Springer, 2007-07-20
ISBN
3540719407 / 9783540719403
主題
Computers
Order-sorted Unification
作者
José Meseguer
出版1984
ISBN
OCLC:12030700
主題
Communication
The Secret of Dreams
出版1960
ISBN
OCLC:935725135
Conditional Rewriting Logic as a Unified Model of ...
作者
José Meseguer
出版1991
ISBN
OCLC:24764520
主題
Parallel processing (Electronic computers)
Rewriting Logic as a Logical and Semantic Framewor...
作者
SRI International. Computer Science Laboratory / Narciso Martí-Oliet / José Meseguer
出版1993
ISBN
OCLC:31321304
主題
Rewriting systems (Computer science)
General Logics
作者
José Meseguer
出版1989
ISBN
OCLC:20787155
主題
Logic
Conditional Rewriting Logic
作者
José Meseguer
出版1990
ISBN
OCLC:25667044
主題
Computer programming
On the Semantics of Place/transition Peti Nets
作者
José Meseguer / Ugo Montanari / Vladimiro Sassone
出版1992
ISBN
OCLC:1430315888
Action and Change in Rewriting Logic
作者
SRI International. Computer Science Laboratory / Narciso Martí-Oliet / José Meseguer
出版1994
ISBN
OCLC:34483739
主題
Computer programming
Completeness of Many-sorted Equational Logic
作者
Joseph Goguen
出版1984
ISBN
OCLC:12030700
主題
Communication
Petri Nets are Monoids
作者
José Meseguer / Ugo Montanari
出版1988
ISBN
OCLC:18551714
主題
Graph theory
Completeness of Many-sorted Equational Logic
作者
Joseph A. Goguen / José Meseguer
出版1984
ISBN
OCLC:24236056
主題
Equations, Theory of
Using Rewriting Logic to Specify, Program, Integra...
作者
SRI International. Computer Science Laboratory / J. Meseguer / K. Futatsugi / T. Winkler
出版1992
ISBN
OCLC:30699271
主題
Concurrent programming
Solving the Inheritance Anomaly in Concurrent Obje...
作者
SRI International. Computer Science Laboratory / J. Meseguer
出版1992
ISBN
OCLC:31360538
主題
Object-oriented programming (Computer science)
Order Sorted Algebra Solves the Constructor-select...
作者
José Meseguer / Joseph A. Goguen
出版1990
ISBN
OCLC:23261424
主題
Abstract data types (Computer science)
Multiparadigm Logic Programming
作者
SRI International. Computer Science Laboratory / J. Meseguer
出版1992
ISBN
OCLC:30699254
主題
Logic programming
Operational Semantics for Order-sorted Algebra
作者
Joseph A. Goguen / Jean-Pierre Jouannaud / José Meseguer
出版1984
ISBN
OCLC:553894003
Rewriting as a Unified Model of Concurrency
作者
José Meseguer
出版1990
ISBN
OCLC:123327566
主題
Parallel processing (Electronic computers)
A Logical Theory of Concurrent Objects
作者
José Meseguer
出版1990
ISBN
OCLC:24524360
主題
Object-oriented programming (Computer science)
Concurrency, Graphs and Models
作者
Pierpaolo Degano / Rocco De Nicola / José Meseguer
出版2008
ISBN
OCLC:804172004
Algebra, Meaning and Computation
作者
Kokichi Futatsugi / José Meseguer
出版2006
ISBN
OCLC:804302195
A Logical Semantics for Object-oriented Databases
作者
SRI International. Computer Science Laboratory / J. Meseguer / X. Qian
出版1992
ISBN
OCLC:31360559
主題
Object-oriented databases
From Petri Nets to Linear Logic
作者
Narciso Martí-Oliet / José Meseguer
出版1989
ISBN
OCLC:20787148
主題
Logic
Final Algebras, Cosemicomputable Algebras, and Deg...
作者
José Meseguer / Lawrence Stuart Moss
出版1991
ISBN
OCLC:24764520
主題
Algebra, Abstract
A Logical Theory of Concurrent Objects and Its Rea...
作者
J. Meseguer / SRI International. Computer Science Laboratory
出版1993
ISBN
OCLC:31360526
主題
Object-oriented programming (Computer science)
From Petri Nets to Linear Logic Through Categories
作者
Narciso Martí-Oliet / J. Meseguer
出版1991
ISBN
OCLC:24764532
主題
Categories (Mathematics)