
Practical Aspects of Spin Model-Checking
France) Spin'9 (1999 Toulouse, Dennis Dams
₹4,340

Second International Logic Programming Summer School
by Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe
Springer · 1992 · Paperback
Free delivery. Nothing extra to pay at checkout.
Published by Springer in 1992, Logic Programming in Action: Second International Logic Programming Summer School by Gerard Comyn, Norbert E. Fuchs & others runs to 324 pages in paperback. The book is part of the Lecture notes in computer science series.
Topics covered include Congresses, Logic programming, Artificial intelligence and Computer Programming.