Formal Methods in System Design

Material type: materialTypeLabel

E-journalAnalytics: Show analyticsPublisher: New York : Springer US, 1992-ISSN: 0925-9856 (edición impresa); 1572-8102 (edición electrónica).Uniform titles: SpringerLink e-journalsSubject: Diseño de sistemas -- Publicaciones periódicas

Holdings:

1997-

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode	Item holds
REVISTA-E NO PRÉSTAMO	Madrid Digital Acceso Electrónico (UEM)	Ciencias e Ingeniería	QA76.9.S88 ES (Browse shelf(Opens below))	.i11666511	Acceso electrónico		eREVISTA .i11666511

Total holds: 0

Previous				No cover image available				Next
Previous	QA76.9 .S88 C667 2015 EB Complex Systems Design & Management Proceedings of the Fifth International Conference on Complex Systems Design & Management CSD&M 2014	QA76.9.S88 C667 2016 EB Complex Systems Design & Management Asia : Smart Nations � Sustaining and Designing: Proceedings of the Second Asia-Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2016	QA76.9.S88 C667 2016 EB COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy	QA76.9.S88 ES Formal Methods in System Design	QA76.9.S88 F645 2018 EB Designing Better Services A Strategic Approach from Design to Evaluation	QA76.9.S88 H65 2005 EB Rapid contextual design : a how-to guide to key techniques for user-centered design	QA76.9 .S88 I54 2016 EB Information systems design and intelligent applications : proceedings of Third International Conference INDIA 2016	Next

Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid