Reihe Monographs in Theoretical Computer Science. An EATCS SeriesJavier Esparza × UnfoldingsA Partial-Order Approach to Model CheckingJavier EsparzaSpringer BerlinSoftcover2010106,99 € UnfoldingsA Partial-Order Approach to Model CheckingJavier EsparzaSpringer BerlinHardcover2008106,99 € UnfoldingsA Partial-Order Approach to Model CheckingJavier EsparzaSpringer BerlineBook200896,29 €
