Skip to main content

Sistema Bibliotecario di Ateneo

Sba

Search form

Search ...

RESOURCES
Books

Journals

Databases and more

Theses
SERVICES
Using the Libraries

Borrowing and renewals

Internet Access

How to access E-Resources

IDEM/GARR Service

unipiVPN

Document Delivery

InterLibrary Loan

ILL for other libraries (form)
LIBRARIES
Polo 1

Agriculture

Economics

Veterinary Medicine

Polo 2

Law and Political Sciences

Polo 3

Chemistry

Mathematics, Computer Science, Physics

Natural and Environmental Sciences

Polo 4

Medicine and Surgery, Pharmacy

Polo 5

Engineering

Polo 6

Ancient Cultures, Linguistic, Germanic and Slavic Studies

English Studies

History of Arts

Italian studies and Romance Philology

Philosophy and History

General Archive of the University

Documentation Service

CIPEI

Remote locations

Logistics Systems (LI)

Science of Tourism (LU)
GUIDES and CONTACT US
Guides and tutorials

Ask a librarian

You're here: Formal Methods in System Design

Formal Methods in System Design

Online_ISSN:

1572-8102

Disciplina:

Engineering

OASubject:

Physical Sciences & Engineering

OA Type:

Hybrid OA

Publisher:

Springer Nature

Quick links

Databases and more

FOLLOW US:

SISTEMA BIBLIOTECARIO di ATENEO
15 Via Curtatone e Montanara - 56126 Pisa ITALY
VAT 00286820501 - Fiscal code 80003670504
PEC

Credits
Site map