Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Not currently available

Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Paperback, 2015 ed.) Loot Price: R1,235
Discovery Miles 12 350
Repayment Terms: R116 pm x 12*
You Save: R1,189 (49%)
Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the...

Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Paperback, 2015 ed.)

Andrew Pitts

Series: Lecture Notes in Computer Science, 9034

 (sign in to rate)
List price R2,424 Loot Price R1,235 Discovery Miles 12 350 | Repayment Terms: R116 pm x 12* You Save R1,189 (49%)

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 9034
Release date: April 2015
First published: 2015
Editors: Andrew Pitts
Dimensions: 235 x 155 x 25mm (L x W x T)
Format: Paperback
Pages: 465
Edition: 2015 ed.
ISBN-13: 978-3-662-46677-3
Categories: Books > Computing & IT > Computer programming > General
Promotions
LSN: 3-662-46677-5
Barcode: 9783662466773

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Clean Architecture - A Craftsman's Guide to Software Structure and Design (Paperback): Robert Martin
Clean Architecture - A Craftsman's Guide…
Robert Martin Paperback  (1)
 R681 Discovery Miles 6 810
Hardware Accelerator Systems for Artificial Intelligence and Machine Learning, Volume 122 (Hardcover): Shiho Kim, Ganesh...
Hardware Accelerator Systems for…
Shiho Kim, Ganesh Chandra Deka Hardcover R4,083 Discovery Miles 40 830
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,967 Discovery Miles 39 670
News Search, Blogs and Feeds - A Toolkit (Paperback, New): Lars Vage, Lars Iselid
News Search, Blogs and Feeds - A Toolkit
Lars Vage, Lars Iselid Paperback R1,373 R1,291 Discovery Miles 12 910
Essential Java for Scientists and Engineers (Paperback): Brian Hahn, Katherine Malan
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R528 Discovery Miles 5 280
FORTRAN 90 for Scientists and Engineers (Paperback): Brian Hahn
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,400 R1,316 Discovery Miles 13 160
Introduction to Computational Economics Using Fortran (Hardcover): Hans Fehr, Fabian Kindermann
Introduction to Computational Economics…
Hans Fehr, Fabian Kindermann Hardcover R2,321 Discovery Miles 23 210
The Data Quality Blueprint - A Practical and Holistic Approach (Hardcover): John Parkinson
The Data Quality Blueprint - A Practical…
John Parkinson Hardcover R1,628 Discovery Miles 16 280
Arduino for Musicians - A Complete Guide to Arduino and Teensy Microcontrollers (Hardcover): Brent Edstrom
Arduino for Musicians - A Complete Guide…
Brent Edstrom Hardcover R2,417 Discovery Miles 24 170
Data-Driven Modeling & Scientific Computation - Methods for Complex Systems & Big Data (Hardcover, New): J. Nathan Kutz
Data-Driven Modeling & Scientific…
J. Nathan Kutz Hardcover R2,457 Discovery Miles 24 570
Practical Guide to Usability Testing (Paperback, 2nd Revised edition): Joseph S. Dumas, Janice C. Redish
Practical Guide to Usability Testing
Joseph S. Dumas, Janice C. Redish Paperback R998 Discovery Miles 9 980
Designing the User Interface: Strategies for Effective Human-Computer Interaction, Global Edition (Paperback, 6th edition): Ben...
Designing the User Interface: Strategies…
Ben Shneiderman, Catherine Plaisant, … Paperback R1,126 R981 Discovery Miles 9 810

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners