Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

Autor:	Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Předmět:	Machine theory--Congresses, B method (Computer science)--Congresses, Z (Computer program language)--Congresses
Kategorie:	COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied
Databáze:	eBook Index
Externí odkaz:	Zobrazit plný text záznamu