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

Abstract Software Specifications

1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Language EnglishEnglish
Book Paperback
Book Abstract Software Specifications D. Bjorner
Libristo code: 01557561
Publishers Springer, Berlin
? points 109 b
16 373 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Lugkasteel Annelie Botes / Book Paperback
common.buy 6 460 Ft
STARK Interpretationen Deutsch - E.T.A. Hoffmann: Der Sandmann, m. 1 Buch, m. 1 Beilage Ernst Theodor Amadeus Hoffmann / Book Paperback
common.buy 3 734 Ft
DaF im Unternehmen Andreea Farmache / Book Paperback
common.buy 10 212 Ft
Top
Astrologie (Kosmologie) Pierre de Lasenic / Book Sheet
common.buy 3 676 Ft
55 faszinierende Ausflugsziele rund um Hamburg Nadia Al- Kureischi / Book Paperback
common.buy 5 106 Ft
Le parloir Éric Sanvoisin / Book Paperback
common.buy 4 503 Ft
Barcelona, mapa para colorear Miyashiro / Book Paperback
common.buy 3 539 Ft
Diagnóstico precoz de Enfermedad Renal Crónica Mirelys Pazo Rodríguez / Book Paperback
common.buy 15 618 Ft
Handbuch Bioethik Dieter Sturma / Book Hardback
common.buy 15 319 Ft
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 Abstract Software Specifications
Author D. Bjorner
Language English
Binding Book - Paperback
Number of pages 572
EAN 9783540100072
ISBN 3540100075
Libristo code 01557561
Publishers Springer, Berlin
Weight 816
Dimensions 156 x 234 x 30

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science
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

Understanding Rett Syndrome Gabriella Martino / Book Paperback
common.buy 19 233 Ft
Oxford E W Haslehust / Book Paperback
common.buy 5 738 Ft
Green Internet of Things for Smart Cities Surjeet Dalal / Book Paperback
common.buy 28 543 Ft
Fool Me Twice Paul Levine / Audiobook MP3
common.buy 16 041 Ft
Multisensory Handbook Paul Pagliano / E-book Adobe ePub DRM
common.buy 20 724 Ft
Thrillville, USA: Stories Koekkoek / Book Paperback
common.buy 5 453 Ft
Top
Scholastic Success with Reading Comprehension Grade 4 SCHOLASTIC TEACHING / Book Paperback
common.buy 2 498 Ft
Chaos: Statistical Description and Nonlinear Filtering Valeri Kontorovich / Book Paperback
common.buy 12 801 Ft
The Life And Loves Of Lana Turner Jacqueline Wright / Book Paperback
common.buy 10 573 Ft
Beginning C++ Game Programming John Horton / Book Paperback
common.buy 22 097 Ft
Pulaski John B. White / Book Paperback
common.buy 7 861 Ft
Who Is the Holy Spirit Pastor Dr Dericklyn Parker / Book Paperback
common.buy 7 049 Ft
100 Best Romance Novels Jennifer Lawler / Book Paperback
common.buy 5 135 Ft

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?