LEADER 02582nam  22005175  450 
001 996466054103316
005 20200703060009.0
010   $a3-642-41071-5
024 7 $a10.1007/978-3-642-41071-0
035   $a(CKB)3710000000015962
035   $a(SSID)ssj0000988142
035   $a(PQKBManifestationID)11621610
035   $a(PQKBTitleCode)TC0000988142
035   $a(PQKBWorkID)10950249
035   $a(PQKB)10062220
035   $a(DE-He213)978-3-642-41071-0
035   $a(MiAaPQ)EBC3093489
035   $a(PPN)172430445
035   $a(EXLCZ)993710000000015962
100   $a20130830d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods: Foundations and Applications$b[electronic resource] $e16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings /$fedited by Juliano Iyoda, Leonardo de Moura
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 243 p. 81 illus.) 
225 1 $aProgramming and Software Engineering ;$v8195
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-41070-7 
327   $aFoundational and methodological issues in formal methods -- Design and analysis of software systems -- Design and analysis of hardware systems.- Applications in various domains.
330   $aThis book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
410  0$aProgramming and Software Engineering ;$v8195
606   $aComputer science
606   $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001
615  0$aComputer science.
615 14$aComputer Science, general.
676   $a004
702   $aIyoda$b Juliano$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $ade Moura$b Leonardo$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466054103316
996   $aFormal Methods: Foundations and Applications$9773789
997   $aUNISA

LEADER 01789oam  2200445M  450 
001 9910716234803321
005 20200213070520.3
035   $a(CKB)5470000002519779
035   $a(OCoLC)1065806639
035   $a(OCoLC)995470000002519779
035   $a(EXLCZ)995470000002519779
100   $a20071213d1926      ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTo amend the National Defense Act in relation to retirement of officers. May 3, 1926. -- Committed to the Committee of the Whole House on the State of the Union and ordered to be printed
210  1$a[Washington, D.C.] :$c[U.S. Government Printing Office],$d1926.
215   $a1 online resource (6 pages)
225 1 $aHouse report / 69th Congress, 1st session. House ;$vno. 1057
225 1 $a[United States congressional serial set ] ;$v[serial no. 8533]
300   $aBatch processed record: Metadata reviewed, not verified. Some fields updated by batch processes.
300   $aFDLP item number not assigned.
606   $aMilitary pensions
606   $aDisabled veterans
606   $aArmed Forces$xOfficers
608   $aLegislative materials.$2lcgft
615  0$aMilitary pensions.
615  0$aDisabled veterans.
615  0$aArmed Forces$xOfficers.
701   $aWurzbach$b Harry McLeary$f1874-1931$pRepublican (TX)$01386829
801  0$bWYU
801  1$bWYU
801  2$bOCLCO
801  2$bOCLCQ
906   $aBOOK
912   $a9910716234803321
996   $aTo amend the National Defense Act in relation to retirement of officers. May 3, 1926. -- Committed to the Committee of the Whole House on the State of the Union and ordered to be printed$93488897
997   $aUNINA