Formal Development of Programs and Proofs /

Na minha lista:

Detalhes bibliográficos
Autor principal:	Dijkstra, Edsger W (Author)
Formato:	Livro
Idioma:	inglês
Publicado em:	Reading : Addison-Wesley, 1990
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

View in STU Opac

Registos relacionados: Formal Development of Programs and Proofs /

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