Przejdź do treści
VuFind
  • Login
    • 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
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
Wyszukiwanie zaawansowane
  • Formal method
  • Cytować
  • Wyślij wiadomość
  • Wyślij emailem
  • Drukuj
  • Eksportuj rekord
    • Eksportuj do RefWorks
    • Eksportuj do EndNoteWeb
    • Eksportuj do EndNote
  • Dodaj do listy ulubionych książek
  • Odnośnik bezpośredni
Okładka
kod QR

Formal method industrial use from model to the code /

Zapisane w:
Opis bibliograficzny
Korporacja: ebrary, Inc
Kolejni autorzy: Boulanger, Jean-Louis
Format: Elektroniczne E-book
Język:angielski
Wydane: London : Hoboken, N.J. : ISTE ; Wiley, 2012.
Seria:Industrial implementation of formal methods series.
Hasła przedmiotowe:
Railroads > Management > Data processing.
Formal methods (Computer science)
Application software > Development.
Electronic books.
Dostęp online:An electronic book accessible through the World Wide Web; click to view
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
  • Egzemplarz
  • Opis
  • Spis treści
  • Komentarze
  • Podobne zapisy
  • Wersja MARC

Internet

An electronic book accessible through the World Wide Web; click to view

Podobne zapisy

  • Formal software development from VDM to Java /
    od: Charatan, Quentin
    Wydane: (2004)
  • Formal methods applied to complex systems : implementation of the B method /
    Wydane: (2014)
  • Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
    Wydane: (2001)
  • Software specification methods
    Wydane: (2006)
  • Computers in language research
    Wydane: (1983)

Opcje wyszukiwania

  • Historia wyszukiwania
  • Wyszukiwanie zaawansowane

Dalsze opcje

  • Przeglądaj katalog
  • Przeglądaj alfabetycznie
  • Przeglądaj kanały
  • Aparaty semestralne
  • Nowe nabytki

Pomoc

  • Wskazówka do wyszukiwania
  • Zapytaj bibliotekarza
  • Często zadawane pytania