From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Select Z Bibliography.. Z User Workshop, стр. 359-396. Springer/BCS, (1994)Comp.specification.z and Z FORUM Frequently Asked Questions.. Z User Workshop, стр. 397-403. Springer/BCS, (1994)The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector, , , и . CoRR, (2004)Z FORUM Electronic Mailing List.. Z User Workshop, стр. 378-378. Springer, (1990)The Z Notation: Whence the Cause and Whither the Course?. SETSS, том 9506 из Lecture Notes in Computer Science, стр. 103-151. Springer, (2014)Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.. IFM, том 1945 из Lecture Notes in Computer Science, стр. 277-296. Springer, (2000)An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs., и . FPGA, стр. 254. ACM, (2004)Z and HOL., и . Z User Workshop, стр. 141-167. Springer/BCS, (1994)Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net., и . Rigorous Methods for Software Construction and Analysis, том 5115 из Lecture Notes in Computer Science, стр. 219-233. Springer, (2009)Editorial., , , и . Formal Asp. Comput., 25 (3): 343 (2013)