Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings /
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Berlín, Alemania :
Springer,
2010, c2010
|
| Rangatū: | (Lecture Notes in Computer Science)
|
| Urunga tuihono: | Ver documento en línea |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Ngā tūemi rite: Abstract State Machines, Alloy, B and Z :
- Abstract State Machines, Alloy, B, TLA, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : Proceedings /
- Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014 Toulouse, France, June 2-6, 2014 Proceedings /
- Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
- Machining Aluminum Alloys /
- Abstract Computing Machines : A Lambda Calculus Perspective /
- Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /