Detail produktu

Produkt mají v nabídce:

Bookshop

1 322 Kč

Do eshopu

Specification, Algebra, and Software

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering.

Podobné produkty

Property-preserving Petri Net Process Algebra In Software Engineering - Huang, Hejiao (Harbin Inst Of Technology Shenzhen Graduate School, China) a Jiao, Li (Chinese Academy Of Sciences, China) a Cheung, To-yat (City Univ Of Hong Kong, Hong Kong) a Mak, Michael Wai Ming (The Hong Kong a Shanhai Banking Corp Ltd, Hong Kong)

2 938 Kč

Porovnat nabídky

Reactive Systems - Aceto, Luca (University of Iceland, Reykjavik) a Ingolfsdottir, Anna (University of Iceland, Reykjavik) a Larsen, Kim Guldstrand (Aalborg University, Denmark) a Srba, Jiri (Aalborg University, Denmark)

2 750 Kč

Porovnat nabídky

Process Algebra: Equational Theories of Communicating Processes - Baeten, J. C. M. (Technische Universiteit Eindhoven, The Netherlands) a Basten, T. (Technische Universiteit Eindhoven, The Netherlands) a Reniers, M. A. (Technische Universiteit Eindhoven, The Netherlands)

2 969 Kč

Porovnat nabídky

Iwahori-Hecke Algebras and their Representation Theory - Cherednik, Ivan a Markov, Yavor a Howe, Roger E. a Lusztig, George

940 Kč

Porovnat nabídky

Lie Algebras and Applications - Iachello, Francesco

1 322 Kč

Porovnat nabídky

C-Algebras and W-Algebras - Sakai, Shoichiro

1 469 Kč

Porovnat nabídky

Clifford Algebras and Lie Theory - Meinrenken, Eckhard

3 819 Kč

Porovnat nabídky

Clifford Algebras and Lie Theory - Meinrenken, Eckhard

3 819 Kč

Porovnat nabídky

Hardware and Software: Verification and Testing

1 175 Kč

Porovnat nabídky

Hardware and Software: Verification and Testing

1 234 Kč

Porovnat nabídky

Business Process Oriented Implementation of Standard Software - Kirchmer, Mathias

1 322 Kč

Porovnat nabídky

Business Modeling and Software Design

1 322 Kč

Porovnat nabídky