"Mathematics of Computing." . . "Mathematics of Computing" . "Desenvolupament de programari." . . "ABZ 2010 (2nd ; 2010)." . . . "Programari Desenvolupament Congressos." . . "Complexitat de càlcul (Informàtica) Congressos." . . "Algorithm Analysis and Problem Complexity." . . "Algorithm Analysis and Problem Complexity" . "Z (méthode formelle) Congrès." . . "Apprentissage automatique." . . "Apprentissage automatique Congrès." . . "B-Methode." . . "Complexitat computacional." . . "Abstrakte Zustandsmaschine." . . "Estructura lògica Congressos." . . "Informàtica." . . "ABZ 2010 (2a : 2010 : Orford, Quebec)" . . . . . "Logiciels Développement Congrès." . . "ABZ 2008 (2010 : Orford, QC)" . . . "Mathematical Logic and Formal Languages." . . "Mathematical Logic and Formal Languages" . "Artificial Intelligence Congresses." . . "Discrete Mathematics in Computer Science." . . "Discrete Mathematics in Computer Science" . "Estructura lògica." . . "ABZ (Conference) (2nd : 2010 : Orford, Québec)" . . . "Computer software." . . "Informatique." . . "Machine learning." . . "Informàtica Congressos." . . "Computation by Abstract Devices." . . "Computation by Abstract Devices" . "B (méthode formelle) Congrès." . . "Computer Science." . . "Computer science." . "ABZ 2010 (2010 : Orford, Québec)" . . . "Logic design." . . "ABZ <2, 2010, Orford, Québec>" . . "Electronic books." . . "ABZ (2 2010.02.22-25 Orford)" . . . "Z (Programmiersprache)" . . "Automates mathématiques, Théorie des Congrès." . . "Orford <Québec, 2009>" . . "Computational complexity." . . "Kongress" . . . . . . . "Abstract state machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings" . . "Abstract state machines, Alloy B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings"@en . . "Abstract state machines, alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings" . . . . . . . . . . "Llibres electrònics" . . . . . . . . . . "Online-Publikation" . . . . . . "Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings" . "Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings"@en . . . . . . . . "Conference proceedings" . . . . "Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings" . . . . . . . . . . "Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings" . . . . . . "Abstract state machines, alloy, B and Z : second international conference ; proceedings" . . . "Abstract state machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings"@en . . . "This book constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. The 26 full papers presented were carefully reviewed and selected from 60 submissions. The book also contains two invited talks and abstracts of 18 short papers which address work in progress, industrial experience reports and tool descriptions. The papers cover recent advances in four equally rigorous methods for software and hardware development: abstract state machines (ASM), Alloy, B and Z. They share a common conceptual framework, centered around the notions of state and operation, and promote mathematical precision in the modeling, verification and construction of highly dependable systems."@en . . . "Abstract state machines, Alloy, B and Z Second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings" . . . . . "Abstract, state machines, alloy, B and Z second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings" . . . . . . . . . . . . "Electronic books"@en . "Electronic books" . . . . . . . . . "ABZ 2010"@en . . "Conference papers and proceedings" . "Conference papers and proceedings"@en . . "Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings" . "ABZ (2 : 2010 : Orford, Québec)" . . . "Z <Programmiersprache>" . . "Logics and Meanings of Programs." . . "Logics and Meanings of Programs" .