On the Refinement Calculus | Megabooks SK

Matematika a prírodné vedy

Počet a matematická analýza

On the Refinement Calculus

AngličtinaEbook

Springer London

EAN: 9781447132738

Dostupné online

57,85 €

Bežná cena: 64,28 €

Zľava 10 %

ks

Dostupné formáty

Kniha Mäkká väzba 57,83 € Ebook DRM PDF 57,85 €

Podrobné informácie

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

EAN 9781447132738

ISBN 1447132734

Typ produktu Ebook

Vydavateľ Springer London

Dátum vydania 6. decembra 2012

Jazyk English

Krajina Uruguay

Editori Morgan, Carroll; Vickers, Trevor

Séria Formal Approaches to Computing and Information Technology (FACIT)

Informácie o výrobcovi

Kontaktné informácie výrobcu momentálne nie sú dostupné online, na náprave intenzívne pracujeme. Ak informáciu potrebujete, napíšte nám na [email protected], radi vám ju poskytneme.

16 123 789 kníh a 3 194 233 e-kníh práve v ponuke

Osobný odber zadarmo
v Bratislave, Banskej Bystrici a Košiciach

Doprava zadarmo pri nákupe nad 50 €

Knihy z celého sveta

ISO 9001 Certification ISO 27001

ISO 14001 ISO 17001

Naša spoločnosť

Visa Visa Electron Mastercard Maestro

© 2022 Megabooks SK spol. s r.o. - zahraničná literatúra. Výhradný distribútor Oxford University Press

Všetky ceny sú uvedené s DPH

16 123 789 kníh a 3 194 233 e-kníh práve v ponuke

Osobný odber zadarmo
v Bratislave, Banskej Bystrici a Košiciach

Doprava zadarmo
pri nákupe nad 50 €

Knihy z celého sveta

Visa Visa Electron Mastercard Maestro

ISO 37001 ISO 14001 ISO 9001 Certification ISO 27001 Certification

© 2022 Megabooks SK spol. s r.o. - zahraničná literatúra. Výhradný distribútor Oxford University Press

Všetky ceny sú uvedené s DPH