Code: 49196904
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: Paperback
- Number of pages: 382
Publisher: Cambridge University Press, 2026
- More about this
You might also like
-
Grimm's Complete Fairy Tales
17.81 € -29 % -
Momente A2, m. 1 Buch, m. 1 Beilage
18.42 € -27 % -
ROMANIA & BULGARIA
18.12 € -25 % -
Pravda o Ruby Cooperové
14.57 € -29 % -
Last Child in the Woods
13.96 € -24 % -
My Lady Jane
11.23 € -8 % -
Tintinova dobrodružství Případ Hluchavka
6.57 € -20 % -
Ford Thunderbird and Mercury Cougar (1989-97) Automotive Repair Manual
31.38 € -24 % -
Studijní konverzace italština
8.90 € -22 % -
The Evolution of Western Thought: Volume 1, From the Ancient World to Late Antiquity
32.09 € -24 % -
Football's Fifty Most Important Clubs
21.25 € -25 % -
Nocne mary. Opowieści niekoniecznie na dobranoc
18.42 € -
Forge ce que tu deviens 3
22.88 € -
Formación del carácter y disciplina del obrero espiritual
14.07 € -7 %
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 129 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
53.46 €
- Full title: Formal Methods, Informally
- Subtitle: How to Write Programs That Work
- Author: Carroll Morgan
- Language: English
- Binding: Paperback
- Number of pages: 382
- EAN: 9781009421027
- ISBN: 1009421026
- ID: 49196904
- Publisher: Cambridge University Press
- Weight: 250 g
- Date of publishing: 19. February 2026
Trending among others
-
Collection of Exercises for PLC Programming
19.63 € -7 % -
Think Like A Programmer
31.28 € -28 % -
Coders at Work
49.30 € -24 % -
Learn You A Haskell For Great Good
31.28 € -29 % -
Edinburgh
13.96 € -24 % -
Programming in Scala, Fifth Edition
59.03 € -
Reasoned Schemer
50.01 € -
micro:bit in Wonderland
32.70 € -
Introducing Go
25.10 € -
Learn You Some Erlang For Great Good
42.42 € -25 % -
Applied Natural Language Processing with Python
45.86 € -24 % -
Oxford of Inspector Morse
10.42 € -4 % -
How to Think Like a Coder
12.45 € -21 % -
Introducing Regular Expressions
35.53 € -24 % -
Oxford of Inspector Morse and Lewis
16.09 € -24 % -
Understanding Computation
28.65 € -24 % -
Jim Clark to Jackie Stewart
24.09 € -14 % -
Agatha Christie's Devon
20.55 € -14 % -
Cars We Loved in the 1960s
13.96 € -24 % -
CNC Tips and Techniques
52.44 € -7 % -
Learning to Program in Python
21.05 € -
Deep Learning with Python
56.19 € -25 % -
North Belfast
18.12 € -25 % -
Reactive Programming with Node.js
33.51 € -9 % -
States of Decay
25.10 € -25 % -
Introduction to Deep Learning Using R
60.75 € -
Pro MEAN Stack Development
32.09 € -24 % -
Scratch Programming in Easy Steps
12.24 € -23 % -
Cultures of Programming
105.50 € -
Lost in Iceland
59.33 € -14 % -
Realm of Racket - Learn to Program, One Game at a Time!
37.96 € -25 % -
Learn To Program With Scratch
34.82 € -25 % -
Scratch 2.0 Beginner's Guide
53.66 € -1 % -
Numeric Python
57.81 € -12 % -
Those Dirty Miners
25.51 € -9 % -
Computational Thinking
36.95 € -9 % -
Introduction to Programming with Visual Basic 2012, An
99.43 € -
Romney Marsh Coastline: From Hythe to Dungeness
17.10 € -24 % -
Build Better Chatbots
31.79 € -
Postcards from the Edge: Remote British Lighthouses in Vintage Postcards
22.88 € -9 % -
Commando Country
15.79 € -15 % -
Burford
17.20 € -9 % -
Gravesend and Northfleet Revisited
16.09 € -24 % -
Reinforcement Learning
70.47 € -
Understanding Petri Nets
55.89 € -
Bath City Guide - French
8.09 € -20 % -
Folkestone: Images of England
17.10 € -24 % -
Century of Chatham
16.09 € -24 % -
Absolutely Appleby
10.72 € -25 %
Shopping guide
Books by language
Collection points Bratislava a 12742 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25488 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)