Abstract State Machines, Alloy, B, VDM, and Z
Derrick, John.
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642308857
Computer science.; Computer software.; Logic design.; Computational complexity.; Computer Science.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Computation by Abstract Devices.; Mathematics of Computing.; Mathematics of Computing.; Discrete Mathematics in Computer Science.
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642308857
Computer science.; Computer software.; Logic design.; Computational complexity.; Computer Science.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Computation by Abstract Devices.; Mathematics of Computing.; Mathematics of Computing.; Discrete Mathematics in Computer Science.