[email protected]
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft Packeta 990 Ft GLS futár 1 590 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Formal Program Development

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Program Development Bernhard Möller
Libristo kód: 05274365
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 1993
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve... Teljes leírás
? points 154 b
24 164 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-16 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Little Polar Bear Hans DeBeer / Puha kötésű
common.buy 2 823 Ft
State Counsellor Boris Akunin / Puha kötésű
common.buy 4 596 Ft
Akutní stavy na interním oddělení Jan Piťha / Puha kötésű
common.buy 4 787 Ft
Medieval Cruelty Daniel Baraz / Kemény kötésű
common.buy 34 270 Ft
Great War of the Dark Age Dominique Wohlschlag / Puha kötésű
common.buy 4 505 Ft
Degas Notebook Degas / Puha kötésű
common.buy 1 994 Ft
Un faux pas dans la nuit Lhoste / Puha kötésű
common.buy 9 523 Ft
Living with Nietzsche Robert C. Solomon / Puha kötésű
common.buy 21 091 Ft
American Journalism after 'The Age of Mechanical Reproduction' Bjoern Schubert / Puha kötésű
common.buy 22 643 Ft
Lehrbuch u. 1 MP3-CD / Kemény kötésű
common.buy 33 000 Ft
Romans John F MacArthur / Puha kötésű
common.buy 5 053 Ft
Future of the Euro Matthias Matthijs / Kemény kötésű
common.buy 72 604 Ft
Shirley Charlotte Brontë / Puha kötésű
common.buy 8 001 Ft
literary comparison of Edgar Allan Poes The Black Cat and The Tell-Tale Heart Selina Schuster / Puha kötésű
common.buy 14 325 Ft
Icarus' Second Chance Jacques Arnould / Puha kötésű
common.buy 47 656 Ft
Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt / Kemény kötésű
common.buy 26 927 Ft

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.

Információ a könyvről

Teljes megnevezés Formal Program Development
Szerző Bernhard Möller, Helmut Partsch, Steve Schuman
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1993
Oldalszám 375
EAN 9783540574996
ISBN 3540574999
Libristo kód 05274365
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1210
Méretek 155 x 233 x 21

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
Matematika és természettudomány > Matematika > Kombinatorika és gráfelmélet
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása