The B-Book

- Assigning Programs to Meanings

af


The B-Book
Du sparer Spar kr. 30,00 med Saxo Premium
  • Leveringstid 2-3 uger
  • Forventet levering 28-04-2020
Hvis du køber til medlemspris, bliver du automatisk medlem af Saxo Premium. De første 30 dage er gratis, derefter koster det 99,-/md. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om alle fordelene her.
Format:
Bog, paperback
Udgivelsesdato:
03-11-2005
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

The B Method is a means for specifying, designing and coding software systems. The long-awaited B-Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations and the definition of the various mathematical structures that are needed to formalise software systems; special emphasis is placed on the notion of proof. The second part contains a presentation of the Generalised Substitution Language and of the Abstract Machine Notation; examples are given to show how large specifications can be constructed systematically. The next part introduces the two basic programming features of sequencing and loop. The last part covers the very important notion of refinement. It shows how to construct large software systems by means of layered architectures of modules. With the appearance of The B-Book, formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems.

Vis mereVis mindre

Udgivelsesdato:
03-11-2005
ISBN13:
9780521021753
Vægt:
1274 g
Dybde:
46 mm
Bredde:
172 mm
Højde:
246 mm
Format:
Paperback
Bibliotekernes beskrivelse The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems.

Vis mereVis mindre

Vis mereVis mindre

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

Velkommen til Saxo - din danske boghandel!

Hos os kan du handle som Gæst, Saxo-bruger eller Saxo Premium-medlem. Du bestemmer selv, og vores kundeservice sidder altid klar med hjælp.

Om medlemspriser hos Saxo

Hvis du køber til medlemspris, bliver du automatisk medlem og får del i de mange fede fordele. De første 30 dage er gratis for nye brugere, og derefter koster det kun 99,-/md. Medlemskabet fornyes automatisk, og du kan altid opsige det. Læs mere om fordelene ved Saxo Premium her.

Machine Name: SAXO032