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
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Formal Methods, Informally

How to Write Programs That Work

Language EnglishEnglish
Book Paperback
Book Formal Methods, Informally Carroll Morgan
Libristo code: 49196904
Publishers Cambridge University Press, February 2026
An undergraduate textbook showing how to use formal methods informally, without formal logic, to wri...
? points 135 b
55.76 €
In stock at our supplier Shipping in 9-15 days

Up to 30 days for returns

Customers also purchased

Top
Momente A2, m. 1 Buch, m. 1 Beilage Anna Breitsameter / Book Paperback
common.buy 18.98 €
Tintinova dobrodružství Případ Hluchavka Hergé / Book Paperback
common.buy 7.26 €
Studijní konverzace italština collegium / Book Paperback
common.buy 10.09 €
Affordable
Perska zazdrość Burns David D. / Book Paperback
common.buy 0.80 €
Fabrikbeleuchtung N. A. Halbertsma / Book Hardback
common.buy 133.15 €
Stimme des Boesen Marion Karadeniz / Book Paperback
common.buy 7.37 €
Nocne mary. Opowieści niekoniecznie na dobranoc Opracowanie zbiorowe / Book Paperback
common.buy 18.38 €
Top
Pravda o Ruby Cooperové Liz Nugent / Book Hardback
common.buy 16.26 €
New
Forge ce que tu deviens 3 ABISSY / Book Paperback
common.buy 22.82 €
Kodeks światła. Wizje z granicy światów Bogdaj Biały / Book Paperback
common.buy 14.44 €
New
forme sonata Charles Rosen / Book Paperback
common.buy 31.21 €
New
Formación del carácter y disciplina del obrero espiritual Roger D. Muñoz / Book Paperback
common.buy 14.84 €

An undergraduate textbook showing how to use formal methods informally, without formal logic, to write and maintain computer programs.

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 Formal Methods, Informally
Author Carroll Morgan
Language English
Binding Book - Paperback
Date of issue 2026
Number of pages 382
EAN 9781009421027
ISBN 1009421026
Libristo code 49196904
Publishers Cambridge University Press
Weight 250

Categories

Computing & Information Technology > Computer programming / software engineering > Programming techniques
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

The Evolution of Western Thought: Volume 1, From the Ancient World to Late Antiquity Christopher S. Celenza / Book Hardback
common.buy 34.04 €
Top
My Lady Jane Cynthia Hand / Book Paperback
common.buy 8.58 €
Fourth Shore Agnes F. Vandome / Book Paperback
common.buy 209.33 €
The Tainted Khan Taran Matharu / Book Paperback
common.buy 10.80 €
Coming soon New
Football's Fifty Most Important Clubs Gareth James / Book Hardback
common.buy 21.21 €
Top
Grimm's Complete Fairy Tales Jacob and Wilhelm Grimm / Book Hardback
common.buy 17.77 €
Coming soon New
For Valour The Complete History of The Victoria Cross Volume Six Michael Charles Robson / Book Hardback
common.buy 170.43 €
Top
ROMANIA & BULGARIA E08 / Book Paperback
common.buy 18.07 €
Top
The Heart of the Buddha's Teaching Thich Nhat Hanh / Book Paperback
common.buy 15.75 €
Ford Thunderbird and Mercury Cougar (1989-97) Automotive Repair Manual J H Haynes / Book Paperback
common.buy 33.33 €
Top
Last Child in the Woods Richard Louv / Book Paperback
common.buy 13.93 €

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?