Michael I. Schwartzbach
3 published titles
Object-oriented type systems
(Contributor)
1 edition
- ISBN: 047194128X
- Wiley
- 1994
- Details
Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2
(Contributor)
1 edition
- ISBN: 3540672826
- Springer
- 2000
- Details
An introduction to XML and Web technologies
(Contributor)
1 edition
- ISBN: 9780321269669
- Addison-Wesley
- 2006
- Details
