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
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

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 125 b
50.99 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Top
Velký snář Eili Goldberg / Book Hardback
common.buy 24.39 €
Affordable
Джек и Джилл Луиза Олкотт / Book Paperback
common.buy 1.59 €
Mycelium V: Hlasy a hvězdy Vilma Kadlečková / Book Sheet
common.buy 21.69 €

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 129.39 €
Ode to the Women's March: or the Great Pink Pussyhat Protest Kristen Lee Hestir / Book Paperback
common.buy 12.59 €
An Introduction to Primary Consolidation Settlement of Soils J Paul Guyer / Book Paperback
common.buy 41.69 €
Top
Baby Medical School: Vaccines Cara Florance / Book Board book
common.buy 7.79 €
Headway: Intermediate: Class Audio CDs Liz Soars / Audio Audio CD
common.buy 62.39 €
Easier, Smarter Problem Solving: How to Come Up with Simple Solutions to Any Problem in Life Instafo / Book Paperback
common.buy 6.99 €
Coming soon
Earth Rocks: Minerals Richard Spilsbury / Book Paperback
common.buy 11.59 €
Essay on the Pre-existence and Divinity of Christ SAMUEL BARNARD / Book Hardback
common.buy 27.99 €
Maintaining Health R L Alsaker / Book Paperback
common.buy 10.09 €
Animal Superstars Pack A of 4 Louise Spilsbury / Book Hardback
common.buy 60.59 €
Plants That Cure - Plants as a Source for Medicines, from Pharmaceuticals to Herbal Remedies Melanie-Jayne R. Howes / Book Hardback
common.buy 21.39 €
MONEYMAKER JASMIN HAJRO / Book Paperback
common.buy 16.89 €
Alice's Adventures in Wonderland Lewis Caroll / Book Paperback
common.buy 7.19 €
Faith Max Hudson / Book Paperback
common.buy 10.69 €
Forget Me Not's Patricia Bell / Book Paperback
common.buy 14.49 €
Engaging Preschoolers in Mathematics Jeanne White / Book Paperback
common.buy 34.79 €
Vintage Coloring Book: Vintage drawings from 1944 Mountainview Press / Book Paperback
common.buy 6.79 €
Smolder: MM Dragon Shifter MPREG Paranormal Romance Reegan Lynch / Book Paperback
common.buy 10.89 €
Sihpromatum - I Grew my Boobs in China Savannah Grace / Book Paperback
common.buy 16.19 €
KET Practice Tests Cambridge ESOL / Audio Audio CD
common.buy 57.89 €
Gormenghast Mervyn Peake / Audiobook MP3
common.buy 9.69 €
Top Coming soon New
Untitled Empyrean (Not Book Four) Rebecca Yarros / Book Hardback
common.buy 20.79 €
Shielded Heart (The Infinite City #2) - Color Tiffany Roberts / Book Hardback
common.buy 35.09 €
High-Performance Automation Methods for Computational Intelligent Systems Vijay Kumar Sharma / Book Hardback
common.buy 187.69 €

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?