Code: 49196903
Formal Methods, Informally
by Carroll Morgan
An undergraduate textbook showing how to use formal methods informally, without formal logic, to write and maintain computer programs.
- Language:
English - Binding: Hardback
- Number of pages: 382
Publisher: Cambridge University Press, 2026
- More about this
You might also like
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Formal Methods, Informally
You get 280 loyalty points
Book synopsis
An undergraduate textbook showing how to use formal methods informally, without formal logic, to write and maintain computer programs.
Book details
Book category Books in English Computing & information technology Computer programming / software development Program concepts / learning to program
115.64 €
- Full title: Formal Methods, Informally
- Subtitle: How to Write Programs That Work
- Author: Carroll Morgan
- Language: English
- Binding: Hardback
- Number of pages: 382
- EAN: 9781009420990
- ISBN: 1009420992
- ID: 49196903
- Publisher: Cambridge University Press
- Weight: 500 g
- Date of publishing: 19. February 2026
Trending among others
-
Collection of Exercises for PLC Programming
14.04 € -14 % -
Think Like A Programmer
31.23 € -29 % -
Coders at Work
49.22 € -24 % -
Learn You A Haskell For Great Good
31.23 € -29 % -
Edinburgh
13.94 € -24 % -
Programming in Scala, Fifth Edition
55.90 € -5 % -
micro:bit in Wonderland
32.64 € -
Introducing Go
25.06 € -
Learn You Some Erlang For Great Good
42.25 € -26 % -
Oxford of Inspector Morse
11.21 € -2 % -
Reasoned Schemer
49.93 € -
Applied Natural Language Processing with Python
45.79 € -24 % -
How to Think Like a Coder
12.32 € -22 % -
Introducing Regular Expressions
35.47 € -24 % -
Oxford of Inspector Morse and Lewis
19.40 € -10 % -
Understanding Computation
28.60 € -24 % -
Jim Clark to Jackie Stewart
23.95 € -15 % -
Agatha Christie's Devon
20.51 € -14 % -
Learning to Program in Python
20.92 € -
CNC Tips and Techniques
60.95 € -7 % -
Deep Learning with Python
56.10 € -25 % -
Cars We Loved in the 1960s
17.18 € -9 % -
North Belfast
18.09 € -24 % -
Pro MEAN Stack Development
32.04 € -24 % -
Reactive Programming with Node.js
33.45 € -9 % -
Introduction to Deep Learning Using R
60.55 € -9 % -
States of Decay
25.06 € -25 % -
Scratch Programming in Easy Steps
12.22 € -23 % -
Cultures of Programming
105.33 € -
Realm of Racket - Learn to Program, One Game at a Time!
37.90 € -24 % -
Lost in Iceland
59.23 € -14 % -
Learn To Program With Scratch
34.77 € -24 % -
Numeric Python
56.60 € -9 % -
Scratch 2.0 Beginner's Guide
53.57 € -1 % -
Commando Country
17.18 € -4 % -
Ancient Greek World
19.10 € -25 % -
Computational Thinking
36.79 € -10 % -
Romney Marsh Coastline: From Hythe to Dungeness
20.61 € -10 % -
Burford
17.18 € -9 % -
Curiosities of Bristol and its Neighbourhood
13.94 € -24 % -
Postcards from the Edge: Remote British Lighthouses in Vintage Postcards
23.24 € -9 % -
Rails Through The West
24.66 € -9 % -
Introduction to Programming with Visual Basic 2012, An
99.26 € -
Build Better Chatbots
27.49 € -9 % -
High and Lonely Place
19.30 € -15 % -
Programming Languages and Operational Semantics
40.43 € -9 % -
Visual Basic 2012 How to Program, International Edition
106.24 € -
Along the Mersey
15.96 € -25 % -
GCSE Computer Science NEA Programming Guide - Python Edition
13.03 € -2 %
Shopping guide
Books by language
Collection points Bratislava a 13216 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
26436 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)