A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Programs, Recursion and Unbounded Choice

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Programs, Recursion and Unbounded Choice Wim H. Hesselink
Libristo kód: 02017941
Kiadó Cambridge University Press, augusztus 2005
This book is a complete account of the predicate transformation calculus semantics of sequential pro... Teljes leírás
? points 164 b
23 759 Ft
Beszállítói készleten Küldés 9-15 napon belül

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

A vásárlók ilyet vásároltak

Virtue Ethics and Professional Roles Justin OakleyDean Cocking / Könyv Puha kötésű
common.buy 21 772 Ft
Dialogue and Instruction, 1 Robbert-Jan Beun / Könyv Puha kötésű
common.buy 21 072 Ft
Hamarosan
Reception Studies Lorna Hardwick / Könyv Puha kötésű
common.buy 11 973 Ft
THE ANCIENT MAGUS BRIDE 2 (MANGA VO) YAMAZAKI KORÉ / Könyv Puha kötésű
common.buy 5 227 Ft
MODA FASHION KLICZKOWSKI / Könyv Könyv
common.buy 4 572 Ft
Chcete se dostat na lékařskou fakultu? Pavel Řezanka / Könyv Puha kötésű
common.buy 5 122 Ft
Tiché kroky rokov Anton Fiala / Könyv binding.
common.buy 6 298 Ft
The Spring Cup, mit 1 Audio-CD, m. 1 Audio-CD Christian Holzmann / Könyv Puha kötésű
common.buy 4 920 Ft
Toplistás
Klettersteige Julische Alpen Alois Goller / Könyv Puha kötésű
common.buy 7 273 Ft
Cialo i kamien Richard Sennett / Könyv Puha kötésű
common.buy 6 023 Ft
Shy - Tome 16 Miki Bukimi / Könyv Puha kötésű
common.buy 3 716 Ft
Nová literatura pro střední školy 2 Pracovní sešit / Könyv Puha kötésű
common.buy 3 382 Ft
Orar con San Antonio Triviño Monrabal / Könyv Puha kötésű
common.buy 5 035 Ft
Contribution A l'Etude Du Traitement de l'Appendicite Lecorney-H-P / Könyv Puha kötésű
common.buy 6 966 Ft
Elvis Gold Elvis Presley Hanganyagok Audio CD
common.buy 9 886 Ft
Tramp J.C. KRAEHN / Könyv Kemény kötésű
common.buy 20 321 Ft
Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand / Könyv Puha kötésű
common.buy 3 121 Ft
Cheiro's Buch der Numerologie Jürgen Berus / Könyv Puha kötésű
common.buy 6 197 Ft
Klinická propedeutika pro střední zdravotnické školy Ilona Jelínková / Könyv Puha kötésű
common.buy 3 062 Ft
Tinto 1 - Grüne JÜL-Ausgabe - 1. Schuljahr Rüdiger Urbanek / Könyv Lap
common.buy 4 746 Ft
Esquemas de derecho procesal laboral Amaya Arnaiz Serrano / Könyv Puha kötésű
common.buy 8 710 Ft
Ses Concitoyens Pache-J-N / Könyv Puha kötésű
common.buy 4 819 Ft

This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Programs, Recursion and Unbounded Choice
Szerző Wim H. Hesselink
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2005
Oldalszám 240
EAN 9780521018296
ISBN 0521018293
Libristo kód 02017941
Kiadó Cambridge University Press
Súly 385
Méretek 170 x 245 x 12

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
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

Ezt is ajánljuk

Toplistás
Dark Matter Blake Crouch / Könyv Kemény kötésű
common.buy 8 518 Ft
Language and Logic; Temporality, Metaset, Recursion Peter Nesteruk / Könyv Puha kötésű
common.buy 3 918 Ft
Toplistás
Boy's Life Robert R. McCammon / Könyv Puha kötésű
common.buy 6 664 Ft
Toplistás
Recursion Blake Crouch / Könyv Puha kötésű
common.buy 3 950 Ft
Recursive Book Of Recursion Al Sweigart / Könyv Puha kötésű
common.buy 11 204 Ft
Toplistás
Trickster Makes This World Lewis Hyde / Könyv Puha kötésű
common.buy 5 227 Ft
Toplistás
Oathbringer Brandon Sanderson / Könyv Kemény kötésű
common.buy 6 156 Ft
Made Out of Stars Meera Lee Patel / Könyv Puha kötésű
common.buy 4 440 Ft
China Evan Chakroff / Könyv Puha kötésű
common.buy 25 951 Ft
Guide to Music for Beginners and Others Daniel Gregory Mason / Könyv Kemény kötésű
common.buy 12 701 Ft
Toplistás
My Side of the Mountain Trilogy Jean Craighead George / Könyv Kemény kötésű
common.buy 8 083 Ft
Communication and Conflict Management: A Handbook for the New Department Chair J Emmett Winn / Könyv Puha kötésű
common.buy 26 153 Ft
Recursion Blake Crouch / Könyv Kemény kötésű
common.buy 8 344 Ft
Teeth Krissi Lyn Mazon / Könyv Puha kötésű
common.buy 5 849 Ft
Ishtar Rising Robert Anton Wilson / Könyv Puha kötésű
common.buy 8 316 Ft
Ancient Poems, Ballads And Songs Of The Peasantry Of England Robert Bell / Könyv Kemény kötésű
common.buy 17 708 Ft
Foot Fix Zake / Könyv Puha kötésű
common.buy 6 765 Ft
Year of the Witch Temperance Alden / Könyv Puha kötésű
common.buy 5 241 Ft
Toplistás
Sapiens A Graphic History, Volume 1 Yuval Noah Harari / Könyv Kemény kötésű
common.buy 7 955 Ft
Machimaho: I Messed Up and Made the Wrong Person Into a Magical Girl! Vol. 10 Souryu / Könyv Puha kötésű
common.buy 3 964 Ft
Sky & Ty 1: Howdy, Partner! Breen / Könyv Kemény kötésű
common.buy 4 673 Ft
Graceless Ruby Landers / Könyv Puha kötésű
common.buy 6 618 Ft
Face in the Well Rebecca Watts / Könyv Puha kötésű
common.buy 5 803 Ft
Ocean at the End of the Lane Neil Gaiman / Könyv Puha kötésű
common.buy 6 097 Ft

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
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?