Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Specification In B: An Introduction Using The B Toolkit

Name: Specification In B: An Introduction Using The B Toolkit
Brand: Imperial College Press
SKU: 05121468
Price: 209.78 PLN
Availability: InStock
Author: Kevin Lano
ISBN: 9781860940187

Kevin Lano

Howard Haughton

Język

Angielski

Książka Miękka

Kod Libristo: 05121468

Wydawnictwo Imperial College Press, styczeń 1996

Offers a practical introduction to the B specification language and method, an approach to the devel... Cały opis

Kod Libristo: 05121468

117 b

209.78 zł

50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?

Nawet do 30 dni na zwrot

Klienci kupili także

Cuentos populares : Con adhesivos y actividades Louisa Camford

Miękka

14.82 zł

Globus 320 fizyczny 3d stopka drewniana

binding.

140.63 zł

Morale et pensée de Nietzsche Nietzsche

Miękka

76.60 zł

Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C. Two case studies and excercises with solutions are provided.