GetTextbooks.com
 Compare Price & Save up to 90%
Search by multiple ISBN, single ISBN, title, author, etc ...

  

Searching ...
0 %

Books by Flemming Nielson






Semantics with Applications
An Appetizer (Undergraduate Topics in Computer Science)
by Hanne Riis Nielson, Flemming Nielson, Murthy C. R.
Paperback, 274 Pages, Published 2007 by Springer
ISBN-13: 978-1-84628-691-9, ISBN: 1-84628-691-3






Two-Level Functional Languages(Updated)
(Cambridge Tracts in Theoretical Computer Science)
by Flemming Nielson, Hanne Riis Nielson
Paperback, 312 Pages, Published 2005 by Cambridge University Press
ISBN-13: 978-0-521-01847-0, ISBN: 0-521-01847-1






ML with Concurrency(Reprint)
Design, Analysis, Implementation, and Application (Monographs in Computer Science)
by Flemming Nielson
Paperback, 255 Pages, Published 1997 by Springer
ISBN-13: 978-1-4612-7483-4, ISBN: 1-4612-7483-4






Two-Level Functional Languages(1st Edition)
(Cambridge Tracts in Theoretical Computer Science)
by Flemming Nielson, Hanne Riis Nielson
Hardcover, 312 Pages, Published 1992 by Cambridge University Press
ISBN-13: 978-0-521-40384-9, ISBN: 0-521-40384-7






Semantics With Applications
A Formal Introduction (Wiley Professional Computing)
by Hanne Riis Nielson, Flemming Nielson
Paperback, 240 Pages, Published 1992 by John Wiley & Sons Inc
ISBN-13: 978-0-471-92980-2, ISBN: 0-471-92980-8






ML with Concurrency
Design, Analysis, Implementation, and Application (Monographs in Computer Science)
by Flemming Nielson
Hardcover, 255 Pages, Published 1996 by Springer
ISBN-13: 978-0-387-94875-1, ISBN: 0-387-94875-9






Principles of Security and Trust
(Paperback)
by Flemming Nielson, David Sands
Paperback, Published 2020 by Saint Philip Street Press, United States
ISBN-13: 978-1-01-327128-1, ISBN: 1-01-327128-9






Undergraduate Topics in Computer Science Ser.
Semantics with Applications : An Appetizer
by Flemming Nielson, Hanne Riis Nielson
274 Pages, Published 2007 by Springer
ISBN-13: 978-1-84628-692-6, ISBN: 1-84628-692-1






Type and Effect Systems
Behaviours for Concurrency
by Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
Hardcover, 268 Pages, Published 1999 by Imperial College Pr
ISBN-13: 978-1-86094-154-2, ISBN: 1-86094-154-0






Monographs in Computer Science Ser.
ML with Concurrency : Design, Analysis, Implementation, and Application
by Flemming Nielson
255 Pages, Published 2012 by Springer Science & Business Media
ISBN-13: 978-1-4612-2274-3, ISBN: 1-4612-2274-5






Cambridge Tracts in Theoretical Computer Science Ser.
Two-Level Functional Languages
by Flemming Nielson
Published 2009
ISBN-13: 978-0-511-52657-2, ISBN: 0-511-52657-1






Type and Effect Systems
Behaviours for Concurrency
by Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
268 Pages, Published 1999 by World Scientific
ISBN-13: 978-1-78326-211-3, ISBN: 1-78326-211-7






Cambridge Tracts in Theoretical Computer Science Ser.
Two-Level Functional Languages
by Flemming Nielson, Hanne Riis Nielson
Published 2011
ISBN-13: 978-0-511-87908-1, ISBN: 0-511-87908-3






Type and Effect Systems
Behaviours for Concurrency
by Flemming Nielson, Hanne Riis Nielson, Torben Amtoft
Published 1999
ISBN-13: 978-1-299-61546-5, ISBN: 1-299-61546-5






Principles of Security and Trust
by Sands, David, and Nielson, Flemming
Hard Cover, Published 2020 by Saint Philip Street Press
ISBN-13: 978-1-01-327129-8, ISBN: 1-01-327129-7






Principles of Program Analysis
by Flemming Nielson, Chris Hankin, Hanne Riis Nielson
Paperback, 452 Pages, Published 2010 by Springer
ISBN-13: 978-3-642-08474-4, ISBN: 3-642-08474-5






Trustworthy Global Computing
4th International Symposium, T.G.C. 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers (Lecture Notes in . . . Computer Science and General Issues)
by Christos Kaklamanis, Flemming Nielson
Paperback, 217 Pages, Published 2009 by Springer
ISBN-13: 978-3-642-00944-0, ISBN: 3-642-00944-1






Formal Methods(1st Edition)
An Appetizer
by Flemming Nielson, Hanne Riis Nielson
Hardcover, 160 Pages, Published 2019 by Springer
ISBN-13: 978-3-030-05155-6, ISBN: 3-030-05155-2






Principles of Security and Trust(1st Edition)
(Lecture Notes in Computer Science)
by Flemming Nielson, David Sands
Paperback, 264 Pages, Published 2019 by Springer
ISBN-13: 978-3-030-17137-7, ISBN: 3-030-17137-X






Principles of Program Analysis
by Flemming Nielson, Chris Hankin, Hanne Riis Nielson, H.R.
Hardcover, 452 Pages, Published 2004 by Springer
ISBN-13: 978-3-540-65410-0, ISBN: 3-540-65410-0



Continue Search >>

All Authors

Flemming Nielson

Hanne Riis Nielson

Torben Amtoft

David Sands

Murthy

Chris Hankin

Christos Kaklamanis

Sands, David, and Nielson, Flemming

Hanne Nielson


All Bindings

Paperback

Unknown

Hardcover


All Editions

1st Edition

Other

Reprint

Updated


All Years

2019 - 2020

2013 - 2016

2010 - 2013

2007 - 2010

2004 - 2007

1998 - 2001

1995 - 1998

1992 - 1995


All Regions

English

German




Home | iPhone App | Sell Books | Browse | Professors | Webmasters

[ Canada | United Kingdom | Germany | India ]

[ CDs | DVDs ]

Copyright © 2003-2024 GetTextbooks.com