Catalogue SUDOC

Copyright © 2021 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?

rechercher (et)

(Mots du titre)

Lectures on the logic of computer programming

| 4 résultat(s)

Services

Mon panier / Export

Affiner la recherche

Mot	Type	Compte
of	Mots du titre	[4755255]
computer	Mots du titre	[20519]
logic	Mots du titre	[12827]
programming	Mots du titre	[13763]
on	Mots du titre	[610277]
lectures	Mots du titre	[21907]
the	Mots du titre	[5142731]

	1.	Advances in Web Intelligence : Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005, Proceedings Springer Berlin Heidelberg / 2005
	2.	Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures Springer International Publishing : Springer e-books : Imprint: Springer : Springer e-books / 2016
	3.	Lectures on the logic of computer programming Manna, Zohar (1939-2018) / Society for industrial and applied mathematics / [20..]
	4.	Lectures on the logic of computer programming Manna, Zohar (1939-2018) / Society for industrial and applied mathematics / cop. 1980