Autor J. R. Abrial

The definitive book on the B Method; essential for all working in formal methods and safety-critical software.

• Knihabrožovaná väzba
  Vypredané

  Ach, mrzí nás to, z tejto knihy sa už predali všetky výtlačky a nemáme ju na sklade my ani vydavateľ :( Teoreticky však môžete mať šťastie v niektorých iných obchodoch, ktoré ešte nepredali posledné kusy.

  Pridať do zoznamu