Verifying Concurrent Systems with Symbolic Execution BERICHTE AUS DER INFORMATIK Autor Michael Balser 30 apr 2006 Paperback Preț: 258.76 lei 323.45 lei Indisponibil temporar -20%