Autor J. R. Abrial

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

• Knihabrožovaná vazba
  Vyprodané

  Mrzí nás to, všechny kusy tohoto titulu se už bohužel prodaly a nemáme ho na skladě my ani distributor :( Teoreticky ale můžete mít štěstí v některých jiných obchodech, které ještě neprodaly poslední kusy.

  Přidat do seznamu