Modern Formal Methods and Applications
Κύριος συγγραφέας: | Gabbar, Hossam A. |
---|---|
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Dordrecht
Springer
2006
|
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/1-4020-4223-X |
Παρόμοια τεκμήρια
-
Computational Studies of RNA and DNA
ανά: Ε poner, J.
Έκδοση: (2006) -
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
ανά: Γlveczky, Peter Csaba
Έκδοση: (2010) -
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
ανά: Petrenko, Alexandre
Έκδοση: (2010) -
Hydrogen BondingβNew Insights
ανά: Grabowski, SΕawomir J.
Έκδοση: (2006) -
Energy and Entropy Equilibrium to Stationary States
ανά: Starzak, Michael E
Έκδοση: (2010)