Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Balík do ruky 74 Balíkovna 49 GLS 54 Kurýr GLS 64 PPL 99 Zásilkovna 54

Verificación formal en ACL2 del algoritmo de Buchberger

Jazyk ŠpanělštinaŠpanělština
Kniha Kniha
Nakladatelství Universidad de Cadiz. Servicio de Public, prosince 2004
? points 105 b
1 046
50 % šance Prohledáme celý svět Kdy knihu dostanu?

30 dní na vrácení zboží

Informace o knize

Plný název Verificación formal en ACL2 del algoritmo de Buchberger
Jazyk Španělština
Vazba Kniha - Kniha
Datum vydání 2004
Počet stran 1
EAN 9788496274273
Libristo kód 36136939
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet