Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

V. Stavridou | lit.salon

Author

V. Stavridou

4 works

1993–1997 across 3 dated works

No biography is available yet.

Start with

Formal methods in circuit design1993
Mathematics of dependable systems: based on the proceedings of a conference on Mathematics of dependable systems, organized by the Institute of Mathematics and Its Applications and held at Royal Holloway, University of London, in September 19931995
With Chris Mitchell
Mathematics of dependable systems II: based on the proceedings of a conference organized by the Institute of Mathematics and Its Applications on the mathematics of dependable systems, and held at the University of York in August 19951997

Books

4 works

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

Search booksSort books

Mathematics of dependable systems II: based on the proceedings of a conference organized by the Institute of Mathematics and Its Applications on the mathematics of dependable systems, and held at the University of York in August 19951997
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Formal methods in circuit design1993
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Mathematics of dependable systems: based on the proceedings of a conference on Mathematics of dependable systems, organized by the Institute of Mathematics and Its Applications and held at Royal Holloway, University of London, in September 19931995
With Chris Mitchell
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Assessment of computer-aided logic design.1983
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 V. Stavridou.

The conversation is still open.

There is no public salon activity to show for V. Stavridou yet.