Object's details: Specification and verification of simple logic control programs using Frama C
Provider:Biblioteka Cyfrowa Politechniki Śląskiej
Description
- Title:
- Creator:
- Description:
- Object availability:
- Rights:
- Date:
- Type:
- Language:
- Source:
- Publisher:
- Relation:
- Subject:
- Identifier: Katalog Biblioteki-Zeszyty Naukowe ;Katalog Biblioteki-Artykuł
- Data provider:
- Can I use it?:
- Type:
Similar objects
Creator:Sadolewski, Jan | Świder, Zbigniew
Date:2011.12.31 | 2011
Type:image
Creator:Sadolewski, Jan
Date:2012.12.31 | 2012
Type:text
Creator:Sadolewski, Jan
Date:2012.12.31 | 2012
Type:image
Creator:Sadolewski, Jan
Date:2012.12.31 | 2012
Type:image
Creator:Sadolewski, Jan
Date:2012.12.31 | 2012
Type:text
Creator:Sadolewski, Jan
Date:2011.12.31 | 2011
Type:image
Creator:Świder, Zbigniew
Date:2021.12.31 | 2021
Type:other
Creator:Świder, Zbigniew
Date:2015.12.31 | 2015
Type:other
