Formal Development of Programs and Proofs /

Salvato in:

Dettagli Bibliografici
Autore principale:	Dijkstra, Edsger W (Autore)
Natura:	Libro
Lingua:	inglese
Pubblicazione:	Reading : Addison-Wesley Publishing Company, 1990
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

View in STU Opac

Documenti analoghi: Formal Development of Programs and Proofs /

Anteprima rapida
Formal Development of Programs and Proofs /
Anteprima rapida
Formal development of programs and proofs /
Anteprima rapida
Proof and Disproof in Formal Logic : An itroduction for programmers
Anteprima rapida
<A> Method of Programming
Anteprima rapida
A discipline of programming /
Anteprima rapida
Proof-of-Work systémy
Anteprima rapida
Simple program schemes and formal languages
Anteprima rapida
Predicate calculus and program semantics /
Anteprima rapida
Future-Proof Accounting Data and Technology Strategies
Anteprima rapida
Formal models in programming : Proceedings of the IFIP TC2 working conference : Konf. Vienna, Austria, 30. Jan. - 1. Febr. 1985 /
Anteprima rapida
Hack proofing your network : Internet tradecraft
Anteprima rapida
Formal Specification Techniques for Engineering Modular C Programs /
Anteprima rapida
Proof of Useful Work in blockchain networks
Anteprima rapida
Modern cryptography, probabilistic proofs and pseudorandomness
Anteprima rapida
Hacker Proof : Váš počítač,vaše síť a vaše připojení na Internet. Je to opravdu bezpečné?
Anteprima rapida
Formal languages
Anteprima rapida
Formal description of programming concepts : Proceedings of IFIP working conference : Konf. St.Andrews, Canada, 1.- 5. Aug. 1977 /
Anteprima rapida
Formal category theory : Adjointness for 2-Categories
Anteprima rapida
Hacker proof. The ultimate guide to network security
Anteprima rapida
Selected Writings on Computing: A Personal Perspective
Anteprima rapida
Disciplina programmirovanija
Anteprima rapida
Discovering formal logic
Anteprima rapida
Formalization of natural languages /
Anteprima rapida
Varieties of formal languages /