Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Eerke A. Boiten | lit.salon

Author

Eerke A. Boiten

3 works

2001–2003 across 3 dated works

No biography is available yet.

Start with

Refinement in Z and Object-Z Foundations and Advanced Applications2001
With John Derrick
Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))2001
With John Derrick
Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings2003
With Bernhard Möller

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))2001
With John Derrick
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Refinement in Z and Object-Z Foundations and Advanced Applications2001
With John Derrick
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings2003
With Bernhard Möller
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Eerke A. Boiten.

The conversation is still open.

There is no public salon activity to show for Eerke A. Boiten yet.