Universitat Jaume I - UJI - Castelló

UJI store
Distribution of publications and products

ATTENTION:
from the 25/03/2024 al 07/04/2024 Orders will not be due to the holidays staff. Sorry for the inconvenience.

ATTENTION:
Until further notice, paper books and merchandising products will only be served within the territory of the Spanish State. Sorry for the inconvenience.

Home > Publications > Micro Magna

Purchase EXHAUSTED

   Collection: Micro Magna  Serial Number: 16
   ISBN: 978-84-8021-167-3




Title: Verificació automàtica de programas basada en semàntica de comportament i lògica de primer ordre: el mètode ALICE
 
Authorship: Palasí Lallana, Vicent Ramon
Pages: 223
Size: 12 x 15
Edition: 1 (1997)
Price: 9,02 €
Language:
Binding: No definida
Support: 1 microficha


Il·lustracions en blanc i negre

Tesis doctorals en format de microfitxes

Informació proporcionada per:

Publicacions de la Universitat Jaume I

Servei de Comunicació i Publicacions
Edifici de Rectorat i Serveis Centrals
Campus del Riu Sec
Tel.: +34 964728819 - Fax: +34 964728832
Adreça electrònica: publicacions@uji.es
UJI
Universitat Jaume I
Campus del Riu Sec, 12071
Castelló de la Plana
Summary of purchase
Productes:
Import total:
0,00 €

ATTENTION:
Until further notice, paper books and merchandising products will only be served within the territory of the Spanish State. Sorry for the inconvenience.

ATTENTION, during the holidays do not serve orders.
Sorry for the inconvenience.

This website uses own and third party cookies to provide a better experience and service. By continuing navigation we understand that you accept our cookies policy. Cookies policy.
Last updated: 11/12/2015 | Information and queries: suggestion box | General policy Data Protection
Universitat Jaume I CIF: Q-6250003-H Av. de Vicent Sos Baynat, s/n 12071 Castelló de la Plana, Espanya Tel.: +34 964 72 80 00 Fax: +34 964 72 90 16