Southville International School and Colleges
Your cart is empty.
  • Cart
  • Lists
    Public lists list_1 View all
    Your lists Log in to create your own lists
  • Log in to your account
  • Your cookies
  • Search history
Southville International School and Colleges
  • Advanced search
  • Recent comments
  • Most popular
  • Libraries

Log in to your account

Log in with GOOGLE

If you do not have an external account, but do have a local account, you can still log in:

  1. Home
  2. Details for: Formal verification of ECML hybrid models with spaceex
Image from Google Jackets
Normal view MARC view ISBD view

Formal verification of ECML hybrid models with spaceex Sanghyun Yoon, Junbeom Yoo

By:
  • Yoon, Sanghyun
Material type: TextTextSeries: Information and Software Technology ; 92:Publication details: 2017Description: pages 121-144, August 2017Subject(s):
  • SOFTWARE TECHNLOGY
Star ratings
    Cancel rating. Average rating: 0.0 (0 votes)
  • Holdings ( 1 )
  • Comments ( 0 )
Holdings
Item type Current library Status
Periodicals Periodicals College Library Available

There are no comments on this title.

Log in to your account to post a comment.
Browse results Close
Previous
Back to results
Next
  • 161
  • 162
  • 163
  • 164
  • 165
  • 166
  • 167
  • 168
  • 169
  • 161 The trials of apollo : the tower of nero
    by Riordan, Rick
  • 162 The trials of apollo : the tyrant's tomb
    by Riordan, Rick
  • 163 Danny and the champion of the world
    by Dahl, Roald
  • 164 Percy Jackson and the sea of monsters
    by Riordan, Rick
  • 165 Percy Jackson and the battle of labyrinth
    by Riordan, Rick
  • 166 Percy Jackson and the last olympian
    by Riordan, Rick
  • 167 Percy Jackson and the titan's curse
    by Riordan, Rick
  • 168 Percy Jackson and the lightning thief
    by Riordan, Rick
  • 169 Ellray Jakes is not a chicken!/
    by Sally Warner
Close

Formal verification of ECML hybrid models with spaceex

APA

Yoon S., . (2017). Formal verification of ECML hybrid models with spaceex. : .

Chicago

Yoon Sanghyun, . 2017. Formal verification of ECML hybrid models with spaceex. : .

Harvard

Yoon S., . (2017). Formal verification of ECML hybrid models with spaceex. : .

MLA

Yoon Sanghyun, . Formal verification of ECML hybrid models with spaceex. : . 2017.

  • Place hold
  • Print
  • Cite
  • Add to your cart (remove)
  • Save record
    BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
  • More searches
    Search for this title in:
    Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Exporting to Dublin Core...

Share

Visit web site

SOUTHVILLE LIBRARY

Southville International School and Colleges Library

1281 Tropical Ave. Cor. Luxembourg St., BF Homes International, Las Pinas City

Tel. No. 8256374 / 252358 Loc. 117/146

Powered by Koha