Kniha Formal Program Development Bernhard Möller

Formal Program Development

IFIP TC2/WG 2.1 State-of-the-Art Report

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1993
Stránek
375
EAN
9783540574996
ISBN
3540574999
Enbook ID
05274365
Hmotnost
1210
Rozměry
155 x 233 x 21

Kompletní popis

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme of the group's work. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculation of programs from such specifications.

Mohlo by vás zajímat

Muir Ramble Route

Peter Thomas
340

Icarus' Second Chance

Jacques Arnould
2 286

Future of the Euro

Matthias Matthijs
3 148

Romans

John F MacArthur
299

City of Roses

Emily Isaacson
857

Shirley

Charlotte Brontë
425

Great War of the Dark Age

Dominique Wohlschlag
238

Learn Odoo

Greg Moss
1 257

Medieval Cruelty

Daniel Baraz
1 970
853

State Counsellor

Boris Akunin
327

Vorticists

Mark Antliffe
1 189
183

Living with Nietzsche

Robert C. Solomon
896

Zákaznicí kteří koupili tuto knihu koupili také

1 868

50 montages de tricot

Pascale THULLIER
701
163