
Partial-Order Methods for the Verification of Concurrent Systems
Patrice Godefroid
₹5,449

15th International Conference
by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley
Springer International Publishing AG · 2018 · Paperback
Free delivery. Nothing extra to pay at checkout.
Parallel Problem Solving from Nature – PPSN XV: 15th International Conference is written by Anne Auger, Carlos M. Fonseca & others. This paperback edition from Springer International Publishing AG (2018) has 501 pages.
The book deals with Parallel processing (electronic computers), Evolutionary computation and Electronic data processing.