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