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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Behavioural Types: from Theory to Tools

Language EnglishEnglish
Book Hardback
Book Behavioural Types: from Theory to Tools Simon Gay
Libristo code: 16303447
Publishers River Publishers, June 2017
Presents programming languages and software tools produced by members of COST Action IC1201: Behavio... Full description
? points 300 b
43 740 Ft
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

You might also be interested in

Nondeterministic Mechanics Isaac Elishakoff / Book Hardback
common.buy 59 222 Ft
Ecological Impacts of Climate Change Commitee on Ecological Impacts of Climate Change / Book Paperback
common.buy 15 556 Ft
From Darwin to the Death Camps. Mark Brodie / Book Paperback
common.buy 31 245 Ft
2012, Year of Poets & Writers Gary Drury Publishing / Book Paperback
common.buy 3 940 Ft

Presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for students and developers.

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 Behavioural Types: from Theory to Tools
Author Simon Gay, Antonio Ravara
Language English
Binding Book - Hardback
Date of issue 2017
Number of pages 250
EAN 9788793519824
ISBN 8793519826
Libristo code 16303447
Publishers River Publishers
Weight 747
Dimensions 156 x 234 x 27

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Systems analysis & design
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

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