BOOKS by Jiri Srba

Sometimes it pays off to expand your search to view all available copies of items matching your search terms.

Page 1 of 1

sort by

Reactive Systems: Modelling, Specification and Verification more books like this

by Luca Aceto, Anna Ingolfsdottir, Jiri Srba

add to wishlist

Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP ...

see all copies from $38.00!

new only from $38.00! | first editions | SVS

Page 1 of 1

Browse authors

Browse subjects

Our Money-Back Guarantee

We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.

Automata, Languages and Programming: 35th International Colloquium, Icalp 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I

by Luca Aceto (Editor), Ivan Damgard (Editor), Leslie Ann Goldberg (Editor)

see all from $121.72!

new only from $121.72!

Action Refinement

by Luca Aceto

see all from $25.30!

Foundations of Software Science and Computational Structures: 9th International Conference, Fossacs 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2006, Vienna, Austria, March 25-31, 2006, Proceedings

by Luca Aceto

see all from $1.99!

new only from $60.52!