[PDF] operational semantics free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


8 books found also search"operational semantics" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
338045 James H. Andrews Distinguished Dissertations in Computer Science
Logic Programming: Operational Semantics and Proof Theory [New Ed]
9780521432191, 9780511526534, 052160754X, 0521432197, 0511526539, 9780521607544
Cambridge University Press 1993 116 English 681 kb djvu GET
763680 James H. Andrews Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science)
9780521432191, 9780511526534, 052160754X, 0521432197, 0511526539, 9780521607544
116 English 5 Mb pdf GET
947311 Cas Cremers, Sjouke Mauw (auth.) Information Security and Cryptography
Operational Semantics and Verification of Security Protocols [1 ed.]
978-3-540-78635-1, 978-3-540-78636-8
Springer-Verlag Berlin Heidelberg 2012 174 English 4 Mb pdf GET
349771 Heinrich Rust (auth.) Lecture Notes in Computer Science 3456 : Programming and Software Engineering
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems [1 ed.]
3540255761, 9783540255765
Springer-Verlag Berlin Heidelberg 2005 224 English 2 Mb pdf GET
1162298 Maribel Fernández (auth.) Undergraduate Topics in Computer Science
Programming Languages and Operational Semantics: A Concise Overview [1 ed.]
978-1-4471-6367-1, 978-1-4471-6368-8
Springer-Verlag London 2014 209 English 3 Mb pdf GET
1314311 Yuxin Deng (auth.) Semantics of Probabilistic Processes: An Operational Approach [1 ed.]
978-3-662-45197-7, 978-3-662-45198-4, 978-7-313-12083-0
Springer-Verlag Berlin Heidelberg 2014 249 English 4 Mb pdf GET
735511 Matthew Hennessy The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics 1990 133 English 4 Mb djvu GET
1535437 Hennessy, Matthew The semantics of programming languages: an elementary introduction using structural operational semantics John Wiley & Sons 1990 0 English 2 Mb djvu GET

If no results, Please search operational semantics here Again

 Хованский А.Г.
Smith S.P.
Henning Stichtenoth, Michael A. Tsfasman (auth.), Henning Stichtenoth, Michael A. Tsfasman (eds.)
Jan R. Magnus, Heinz Neudecker
Шкиль, Вороной, Лейфура.
J. Michael Steele
Reiner Kuhnau
Stahl H.
Dynkin E.B.
Егоров Ю.В.
Данко П., Попов А., Кожевникова Т.
Шнейдер В.Е., Слуцкий А.И., Шумов А.С.
Ахиезер Н.И., Глазман И.М.
Гаевский Х., и др. (Gajewski)
L.P. Lebedev, Michael J. Cloud
Векуа И.Н.
Satya Mandal (auth.)
R. Arcangéli, María Cruz López de Silanes, Juan José Torrens
G. M. Phillips, Peter J. Taylor
Arjan Kuijper (auth.), Lewis D. Griffin, Martin Lillholm (eds.)

heatingbioinformaticsdiagenesispublishingfinite element methodsmagnetic fieldquantum mechanicslaccaseleadershiphigh density polyethylenetransmission linesheat flowsuperconductorspolymersbinding sitetranscriptomicspath planninglattice parametersocial sciencesquantum mechanicscivil warchemical reactionamino acid sequenceaction potentialneural cell adhesion moleculemasersgc msprivacyadaptive behaviorforced convectiondurable goodsscanning probe microscopyenzymebusiness strategysampling methodsgeometric modelresonant frequencyhelminthssnowinternational tradechemical reactionsoptical storageindexationhydrogeologyhumanidadesmeiosisneural networklpgpolarization mode dispersion