1.

Record Nr.

UNINA990001185300403321

Autore

Michel, Anthony N.

Titolo

Qualitative Analysis of Large Scale Dynamical Systems / by MICHEL AND MILLER

Pubbl/distr/stampa

New York [etc.] : Academic Press, 1977

Collana

Mathematics in science and engineering ; 134

Locazione

MA1

Collocazione

33-I-3

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910376321103321

Autore

Heimdahl Mats

Titolo

Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA) : July 15-20, 2012 Minneapolis, MN, USA

Pubbl/distr/stampa

[Place of publication not identified], : ACM, 2012

ISBN

1-4503-1454-6

Descrizione fisica

1 online resource (341 pages)

Collana

ACM Conferences

Soggetti

Engineering & Applied Sciences

Computer Science

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph