Tipo de Livro
-Autor
-Editora
-Ano de Publicação
-Cidade
+Sebos e Livreiros
+Preço
+Categoria
+Idioma
+Avaliação
+Compra Corporativa
+Exibindo: 1 - 9 de 9 resultados

Selected Writings on Computing: a Personal Perspective
livro em bom estado capa dura contem algumas manchas devido e cantinhos da capa pouco gasta mais nada que afete o texto formato 24x16 cms contem 362 paginas
1982
1 usado
R$ 285,50

Livro Predicate Calculus and Program Semantics
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a m...
2011
1 novo
R$ 1.199,67

Livro Predicate Calculus and Program Semantics
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a m...
2011
1 novo
R$ 1.199,67

Livro Predicate Calculus and Program Semantics
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a m...
2011
1 novo
R$ 1.199,67

Livro Predicate Calculus and Program Semantics
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a m...
2011
1 novo
R$ 1.199,67

Livro Predicate Calculus and Program Semantics
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a m...
2011
1 novo
R$ 1.199,67

Livro Predicate Calculus and Program Semantics
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a m...
2011
1 novo
R$ 1.199,67

Livro Predicate Calculus and Program Semantics
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a m...
2011
1 novo
R$ 1.199,67