Library.co.il - ספריה ציבורית אלקטרונית ובה אוסף של מאגרי מידע וארכיון של ספרים, מאמרים ועבודות. Library.co.il - electronic public library with information system of books and resources.

Computing


Home > Computing > Formal Methods

			Abstract State Machines
			A Computational Logic for Applicative Common Lisp
			Algebra of Communicating Shared Resources
			Action Semantics
			The B-Method, Grenoble
			CafeOBJ
			Common Algebraic Specification Language
			Home Computing

B4U | Make Homepage | Add To Favorites