Catalog

Record Details

Catalog Search


Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems Cover Image E-book E-book

Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Heinrich Rust.

Rust, Heinrich. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540320081
  • Physical Description: XII, 223 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2005.

Search for related items by subject

Subject: Computer science.
Software engineering.
Operating systems (Computers).
Computer Science.
Software Engineering.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Mathematical Logic and Formal Languages.

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01750nam a22004335i 4500
00120789
003CONS
00520131004173030.0
007cr nn 008mamaa
008131004s2005 gw | s |||| 0|eng d
020 . ‡a9783540320081 ‡9978-3-540-32008-1
0247 . ‡a10.1007/978-3-540-32008-1 ‡2doi
035 . ‡a(DE-He213)978-3-540-32008-1
050 4. ‡aQA76.758
072 7. ‡aUMZ ‡2bicssc
072 7. ‡aCOM051230 ‡2bisacsh
1001 . ‡aRust, Heinrich. ‡eauthor.
24510. ‡aOperational Semantics for Timed Systems ‡h[electronic resource] : ‡bA Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / ‡cby Heinrich Rust.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg : ‡bImprint: Springer, ‡c2005.
300 . ‡aXII, 223 p. Also available online. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v3456
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aOperating systems (Computers).
65014. ‡aComputer Science.
65024. ‡aSoftware Engineering.
65024. ‡aComputation by Abstract Devices.
65024. ‡aProgramming Languages, Compilers, Interpreters.
65024. ‡aOperating Systems.
65024. ‡aMathematical Logic and Formal Languages.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783540255765
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v3456
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-540-32008-1 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a20789 ‡b ‡c20789 ‡tbiblio ‡sSystem Local

Additional Resources