1.

Record Nr.

UNINA990004908940403321

Autore

François, Alexis

Titolo

La grammaire du purisme et l'Académie française au XVIIIe siècle : introduction à l'étude des commentaires grammaticaux d'auteurs classiques Les origines lyriques de la phrase moderne : étude sur la prose cadencée dans la littérature française au XVIIIe siècle / Alexis François

Pubbl/distr/stampa

Genève : Slatkine, 1973

Edizione

[Ristampa anastatica]

Descrizione fisica

2 v. in 1 (279; 61 p.) ; 23 cm

Disciplina

445

Locazione

FLFBC

Collocazione

445 FRA 1

445 FRA 1 BIS

Lingua di pubblicazione

Francese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNISA990001893230203316

Autore

Anniversary colloquium of the United Nations University and the International Institute for software technology <10. ; 2002 ; Lisbon, Portugal>

Titolo

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University : Lisbon, Portugal, March 18-20, 2002 : revised papers / Bernhard K. Aichernig, Tom Maibaum (Eds.)

Pubbl/distr/stampa

Berlin [etc.] : Springer, copyr. 2003

ISBN

3-540-20527-6

Descrizione fisica

XIV, 453 p. : ill. ; 24 cm.

Collana

Lecture notes in computer science ; 2757

Disciplina

005.1

Collocazione

001 LNCS 2757

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia