Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Foundations of Software Science and Computation Structures

21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

Language EnglishEnglish
Book Paperback
Book Foundations of Software Science and Computation Structures Christel Baier
Libristo code: 19067154
Publishers Springer International Publishing AG, April 2018
This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 21st... Full description
? points 132 b
54.48 €
106.56  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Boccaccio 70 - Kinofassung, 1 Blu-ray Sophia Loren / Video Blu-ray
common.buy 19.68 € 38.49 лв
Die ambivalente Darstellung des urbanen Raumes in der Lyrik des Expressionismus Oke Kröber / Book Paperback
common.buy 17.14 € 33.52 лв
Ping / Book Hardback
common.buy 21.90 € 42.84 лв
Demonologie Odyssee Edition / Book Paperback
common.buy 30.81 € 60.27 лв
Der Gotteswahn Richard Dawkins / Book Paperback
common.buy 14.39 € 28.15 лв
Harry Potter Samolepky 3D - Bradavice Stationery items Stationery items
common.buy 5.95 € 11.64 лв
Sermones parroquiales 3 : (parochial and plain sermons) John Henry Newman / Book Paperback
common.buy 41.64 € 81.44 лв
Top
Mycelium V: Hlasy a hvězdy Vilma Kadlečková / Book Sheet
common.buy 22.79 € 44.56 лв
Affordable
Джек и Джилл Луиза Олкотт / Book Paperback
common.buy 4.14 € 8.09 лв
Básně / Elegie IV. Pavel Petr / Book Hardback
common.buy 20.82 € 40.71 лв
Genèse - Le grand récit des origines Guido Tonelli / Book Paperback
common.buy 14.60 € 28.56 лв
Un Pelerinage A Jerusalem. Souvenirs de Terre-Sainte, (Ed.1882) Albert-Louis Bunot / Book Paperback
common.buy 23.98 € 46.89 лв
Histoire de Charles XII Voltaire / Book Paperback
common.buy 25.22 € 49.33 лв
Bretonische Idylle Jean-Luc Bannalec / Book Paperback
common.buy 15.33 € 29.98 лв
Israel Eva Illouz / Book Paperback
common.buy 17.19 € 33.62 лв

This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Foundations of Software Science and Computation Structures
Author Christel Baier, Ugo Dal Lago
Language English
Binding Book - Paperback
Date of issue 2018
Number of pages 583
EAN 9783319893655
ISBN 3319893653
Libristo code 19067154
Publishers Springer International Publishing AG
Weight 908
Dimensions 155 x 235 x 34

Categories

Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Information technology: general issues
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Nanotribology and Nanomechanics Bharat Bhushan / Book Paperback
common.buy 138.34 € 270.57 лв
Smolder: MM Dragon Shifter MPREG Paranormal Romance Reegan Lynch / Book Paperback
common.buy 12.37 € 24.20 лв
Coming soon
Earth Rocks: Minerals Richard Spilsbury / Book Paperback
common.buy 12.32 € 24.10 лв
Essay on the Pre-existence and Divinity of Christ SAMUEL BARNARD / Book Hardback
common.buy 29.78 € 58.24 лв
Maintaining Health R L Alsaker / Book Paperback
common.buy 12.12 € 23.70 лв
Animal Superstars Pack A of 4 Louise Spilsbury / Book Hardback
common.buy 64.58 € 126.32 лв
Ode to the Women's March: or the Great Pink Pussyhat Protest Kristen Lee Hestir / Book Paperback
common.buy 12.17 € 23.80 лв
Alice's Adventures in Wonderland Lewis Caroll / Book Paperback
common.buy 8.54 € 16.71 лв
Faith Max Hudson / Book Paperback
common.buy 10.35 € 20.25 лв
Engaging Preschoolers in Mathematics Jeanne White / Book Paperback
common.buy 36.93 € 72.22 лв
Vintage Coloring Book: Vintage drawings from 1944 Mountainview Press / Book Paperback
common.buy 7.66 € 14.98 лв
Circle It, Butterfly Facts, Word Search, Puzzle Book Lowry Global Media LLC / Book Paperback
common.buy 11.91 € 23.29 лв
15 Tennis Serve Drills to Master Consistency, Spin, and Power: Learn how to train your serve to be the best in the world Correa (Certified Professional Tennis Pl / Book Paperback
common.buy 19.31 € 37.78 лв
Sihpromatum - I Grew my Boobs in China Savannah Grace / Book Paperback
common.buy 19.31 € 37.78 лв
100-Whats Of Creativity: Questions To Spark Your Creativity, Unmuck Your Mind, And Break Through Your Mental Blocks Don The Idea Guy Snyder / Book Paperback
common.buy 13.05 € 25.52 лв
KET Practice Tests Cambridge ESOL / Audio Audio CD
common.buy 58.63 € 114.67 лв
A Selection of Cases on Private Corporations. Volume 2 of 2 Jeremiah Smith / Book Paperback
common.buy 30.76 € 60.17 лв
Alive at Work Daniel M. Cable / Book Hardback
common.buy 23.15 € 45.27 лв
Introduction to Embedded Systems Manuel Jimenez / Book Paperback
common.buy 85.20 € 166.64 лв
In Memoriam: Josiah William Harmar. Multiple Contributors / Book Paperback
common.buy 14.14 € 27.65 лв
Seismic Hazard and Risk Analysis Baker / Book Hardback
common.buy 84.58 € 165.42 лв
High-Performance Automation Methods for Computational Intelligent Systems Vijay Kumar Sharma / Book Hardback
common.buy 198.94 € 389.10 лв
CAL 26 THEY CAN TALK COMICS DAY TO DAY BOX / Calendar/Diary Calendar
common.buy 19.47 € 38.08 лв
Climate Change, Education, and Technology Mensure Alkis Kucukaydin / Book Hardback
common.buy 95.09 € 185.99 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?