國立高雄大學圖資館 |

Search result for [ subject:"Logics and Meanings of Programs"]

16 records (0.028s)· Page 1 of 2 • 1 2

1.
- A Practical Theory of Reactive Systems :Incremental Modeling of Dynamic Behaviors /
- by: Kurki-Suonio, Reino.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540233428; 9783540273486
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.
- Abstract Computing Machines :A Lambda Calculus Perspective /
- by: Brauer, W..; Kluge, W..; Rozenberg, G..; Salomaa, A..
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540211464; 9783540273592
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.
- Concurrency Theory /Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
- by: Bowman, Howard.; Gomez, Rodolfo.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag London Limited,
- Place of Publication: London :
- Year of Publication: 2006
- ISBN: 9781846283369; 9781852338954
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.
- A Theory of Distributed Objects :Asynchrony, Mobility, Groups, Components /
- by: Caromel, Denis.; Henrio, Ludovic.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540208662; 9783540272458
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- Integrated Formal Methods :5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
- by: (1998 :); Pol, Jaco van de.; Romijn, Judi M.T.; Smith, Graeme P.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540304920; 9783540322405
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Formal Modeling and Analysis of Time...

~
(1998 :)
- Formal Modeling and Analysis of Timed Systems (vol. # 4202)4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
- by: (1998 :); Asarin, Eugene.; Bouyer, Patricia; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540450269; 9783540450313
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.
- Abstraction, Refinement and Proof for Probabilistic Systems /
- by: McIver, Annabelle.; Morgan, Carroll.
- Electronic resources : Monograph/item
- Publisher: Springer Science+Business Media, Inc.,
- Place of Publication: New York, NY :
- Year of Publication: 2005
- ISBN: 9780387270067; 9780387401157
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.
- Modern Formal Methods and Applications /
- by: Gabbar, Hossam A..
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: Dordrecht :
- Year of Publication: 2006
- ISBN: 9781402042225; 9781402042232
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.
- Software Engineering 3 :Domains, Requirements, and Software Design /
- by: Bjoner, Dines.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540211518; 9783540336532
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.
- Parameterized Complexity Theory /
- by: Flum, Jorg.; Grohe, Martin.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540299523; 9783540299530
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items