skip to main content
Idioma:
Devido a um problema temporário, o resultado pode estar incompleto.
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tests and Proofs
Tests and Proofs
Material Type:
Livro 		Adicionar ao Meu Espaço

Tests and Proofs

David Hutchison Takeo Kanade; Jacques Julliand; Josef Kittler

Springer Berlin Heidelberg 2012

Acesso online

2
B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings
B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings

International B Conference (7th 2007 Besan con, France) Jacques Julliand; Olga Kouchnarenko

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer New York c2006

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Disponível na Biblioteca (1)

Data de Publicação 

De até
Refinar

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.