Ga door naar de inhoud
Library Home
Start Over
Research Databases
E-Journals
College reserveringen
Library Home
Aanmelden
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Taal
Library Catalog
Alle velden
Titel
Auteur
Onderwerp
Plaatsingsnummer
ISBN/ISSN
Zoek
Uitgebreid zoeken
|
Bladeren
|
Zoektips
Transformation-Based Reactive...
Citeren
SMS dit
Versturen
Afdrukken
Exporteer Record
Exporteer naar RefWorks
Exporteer naar EndNoteWeb
Exporteer naar EndNote
Toevoegen aan favorieten
Permalink
Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / edited by Miquel Bertran, Teodor Rus.
Bewaard in:
Bibliografische gegevens
Coauteur:
SpringerLink (Online service)
Andere auteurs:
Bertran, Miquel
(Redacteur)
,
Rus, Teodor
(Redacteur)
Formaat:
E-boek
Taal:
English
Gepubliceerd in:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1997.
Editie:
1st ed. 1997.
Reeks:
Lecture Notes in Computer Science,
1231
Springer eBook Collection.
Onderwerpen:
Software engineering.
Computers.
Computer programming.
Computer communication systems.
Special purpose computers.
Electronic resources (E-books)
Online toegang:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Exemplaren
Omschrijving
Inhoudsopgave
Gelijkaardige items
Personeel
Aanmelden Informatie over reserveringen
Internet
Click to view e-book
Online
Exemplaargegevens van Online
Plaatsingsnummer:
E-Book
Copy 1
Beschikbaar
Gelijkaardige items
The Temporal Logic of Reactive and Concurrent Systems Specification
door: Manna, Zohar, et al.
Gepubliceerd in: (1992)
Synchronous Programming of Reactive Systems
door: Halbwachs, Nicolas
Gepubliceerd in: (1993)
Formal Development of Reactive Systems Case Study Production Cell
Gepubliceerd in: (1995)
Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings
Gepubliceerd in: (1997)
Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
Gepubliceerd in: (1999)