Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Livro de bolso
2005, ISBN: 3540255761
[EAN: 9783540255765], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ALGORITHMUS; ECHTZEIT; REAL-TIME; REALZEIT; BEDEUTUNG (SEMANTISCH) / BEDEUTUNGSLEHRE; SEMANTIK; ABSTRACTSTATEMA… mais…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540255765
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete ti… mais…
BarnesandNoble.com new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
ISBN: 9783540255765
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete ti… mais…
Springer.com Nr. 978-3-540-25576-5. Custos de envio:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Lecture Notes in Computer Science / Programming and Software Engineering) - Livro de bolso
2005, ISBN: 9783540255765
Springer, 2005-05-31. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2005-05-31, 3
Biblio.co.uk |
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Lecture Notes in Computer Science / Programming and Software Engineering) - Livro de bolso
2005, ISBN: 9783540255765
Springer, 2005-05-31. 2005. Paperback. Used:Good., Springer, 2005-05-31, 0
Biblio.co.uk |
Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems - Livro de bolso
2005, ISBN: 3540255761
[EAN: 9783540255765], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ALGORITHMUS; ECHTZEIT; REAL-TIME; REALZEIT; BEDEUTUNG (SEMANTISCH) / BEDEUTUNGSLEHRE; SEMANTIK; ABSTRACTSTATEMA… mais…
ISBN: 9783540255765
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete ti… mais…
ISBN: 9783540255765
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete ti… mais…
no/na Biblio.co.uk
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Lecture Notes in Computer Science / Programming and Software Engineering) - Livro de bolso
2005, ISBN: 9783540255765
Springer, 2005-05-31. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2005-05-31, 3
no/na Biblio.co.uk
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Lecture Notes in Computer Science / Programming and Software Engineering) - Livro de bolso
2005, ISBN: 9783540255765
Springer, 2005-05-31. 2005. Paperback. Used:Good., Springer, 2005-05-31, 0
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Heinrich Rust Author
EAN (ISBN-13): 9783540255765
ISBN (ISBN-10): 3540255761
Livro de capa dura
Livro de bolso
Ano de publicação: 2005
Editor/Editora: Springer Berlin Heidelberg Core >1 >T
240 Páginas
Peso: 0,369 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-06-04T16:08:24-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-03-25T07:31:27-03:00 (Sao Paulo)
Número ISBN/EAN: 3540255761
Número ISBN - Ortografia alternativa:
3-540-25576-1, 978-3-540-25576-5
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: heinrich rust, robinson, abraham
Título do livro: operational semantics timed systems, modeling uniform systems, semantics time, programming for engineering and science
Dados da editora
Autor: Heinrich Rust
Título: Lecture Notes in Computer Science; Programming and Software Engineering; Operational Semantics for Timed Systems - A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Editora: Springer; Springer Berlin
224 Páginas
Ano de publicação: 2005-04-04
Berlin; Heidelberg; DE
Peso: 0,760 kg
Língua: Inglês
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XII, 224 p.
BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; abstract state machines; algorithms; continuous time systems; discrete time systems; hybrid systems; modeling; non-standard analysis; non-standard timed abstract state machines; operational semantics; temporal logics; timed Petri nets; timed automata; timed systems; Computation by Abstract Devices; Programming Languages, Compilers, Interpreters; Operating Systems; Mathematical Logic and Formal Languages; Software Engineering; Theory of Computation; Compilers and Interpreters; Operating Systems; Formal Languages and Automata Theory; Theoretische Informatik; Compiler und Übersetzer; Betriebssysteme; EA
Includes supplementary material: sn.pub/extras
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783540320081 Operational Semantics for Timed Systems (Heinrich Rust)
< Para arquivar...