Free delivery for orders over 69.99€

Check order status

Check order status

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

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

phone

Help

My account

▸ Empty :-(

0

Free delivery for orders over 69.99€

Book Abstract Software Specifications D. Bjorner

Abstract Software Specifications

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

Language

English

Book Paperback

Book Abstract Software Specifications D. Bjorner

Libristo code: 01557561

Publishers Springer, Berlin

Libristo code: 01557561

?

points

105 b

43.12 €

84.33 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Wegweiser zum Datenhighway Jens D. Billerbeck

/

Paperback

49.25 € 96.33 лв

STARK Interpretationen Deutsch - E.T.A. Hoffmann: Der Sandmann, m. 1 Buch, m. 1 Beilage Ernst Theodor Amadeus Hoffmann

/

Paperback

9.87 € 19.30 лв

Diagnóstico precoz de Enfermedad Renal Crónica Mirelys Pazo Rodríguez

/

Paperback

41.02 € 80.22 лв

Barcelona, mapa para colorear Miyashiro

/

Paperback

10.07 € 19.70 лв

Le parloir Éric Sanvoisin

/

Paperback

11.61 € 22.70 лв

55 faszinierende Ausflugsziele rund um Hamburg Nadia Al- Kureischi

/

Paperback

13.40 € 26.20 лв

Astrologie (Kosmologie) Pierre de Lasenic

/

Sheet

10.53 € 20.60 лв

DaF im Unternehmen Andreea Farmache

/

Paperback

27.72 € 54.21 лв

Lugkasteel Annelie Botes

/

Paperback

16.98 € 33.20 лв

Handbuch Bioethik Dieter Sturma

/

Hardback

40.35 € 78.92 лв

Jan Blahoslav Čapek - Jubilejní sborník 1903-2003 Dagmar Čapková

/

Hardback

9.05 € 17.70 лв

Actress & Polyglot

EWA KASP for

Play video

Ewa Kasp

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

Scholastic Success with Reading Comprehension Grade 4 SCHOLASTIC TEACHING

/

Paperback

6.18 € 12.09 лв

Thrillville, USA: Stories Koekkoek

/

Paperback

13.45 € 26.30 лв

Multisensory Handbook Paul Pagliano

/

Adobe ePub DRM

61.12 € 119.54 лв

Fool Me Twice Paul Levine

/

MP3

45.37 € 88.73 лв

Understanding Rett Syndrome Gabriella Martino

/

Paperback

51.81 € 101.33 лв

Green Internet of Things for Smart Cities Surjeet Dalal

/

Paperback

76.41 € 149.45 лв

Oxford E W Haslehust

/

Paperback

14.42 € 28.20 лв

Chaos: Statistical Description and Nonlinear Filtering Valeri Kontorovich

/

Paperback

33.65 € 65.82 лв

The Life And Loves Of Lana Turner Jacqueline Wright

/

Paperback

26.59 € 52.01 лв

Beginning C++ Game Programming John Horton

/

Paperback

55.65 € 108.84 лв

Pulaski John B. White

/

Paperback

21.78 € 42.61 лв

China Factor Amy Karam

/

Hardback

22.86 € 44.71 лв

Who Is the Holy Spirit Pastor Dr Dericklyn Parker

/

Paperback

17.80 € 34.80 лв

Poems Ann and Peter Sansom

/

Paperback

12.48 € 24.40 лв

100 Best Romance Novels Jennifer Lawler

/

Paperback

13.55 € 26.50 лв

New Inside Out Pre-Intermediate Workbook Pack without Key Sue Kay

/

Paperback

13.70 € 26.80 лв

Constructing Arizona Chad Schwartz

/

Adobe ePub DRM

64.04 € 125.24 лв

Book advisor Libroamiko

Hi, I'm Libroamiko, can I help?