skip to main content
Idioma:
Mostrar solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems
Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems
Material Type:
Libro 		Añadir a Mi Portal

Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems

Heinrich Rust

Berlin Springer New York c2005

Acceso en línea. La biblioteca tiene también copias físicas.

2
Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems
Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems
Material Type:
Libro 		Añadir a Mi Portal

Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems

Rust, Heinrich

Berlin, Heidelberg: Springer Berlin / Heidelberg 2005

Sin texto completo

Citas Citado por
3
Algebraic foundations of the Unifying Theories of Programming
Algebraic foundations of the Unifying Theories of Programming
Material Type:
Disertación 		Añadir a Mi Portal

Algebraic foundations of the Unifying Theories of Programming

Guttmann, Walter

S.l. : s.n.

Sin texto completo

Citas Citado por

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (1)
  2. Disponible (1)

Refinar mis resultados

Tipo de Recurso 

  1. Libros  (2)
  2. Tesis  (1)
  3. Más opciones open sub menu

Fecha de Publicación 

De Hasta
Refinar

Nuevas sugerencias de búsqueda

Ignorar mi consulta y buscar por todo

por este autor/creador:

  1. Rust, H

con este tema:

  1. Axiomatische Semantik
  2. Formale Methode
  3. Betrieb
  4. Hybrid Systems
  5. Calculateurs Hybrides

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora