Specifying and verifying a decimal representation in Java for smart cards

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	BREUNESSE, Cees-Bart, JACOBS, Bart, VAN DEN BERG, Joachim
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Exact sciences and technology Language theory and syntactical analysis Problem solving, game playing Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	318
container_issue
container_start_page	304
container_title
container_volume
creator	BREUNESSE, Cees-Bart JACOBS, Bart VAN DEN BERG, Joachim
description
format	Conference Proceeding
fullrecord	<record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_14934200</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>14934200</sourcerecordid><originalsourceid>FETCH-pascalfrancis_primary_149342003</originalsourceid><addsrcrecordid>eNqNjMsKwjAURIMPsFX_4W5cFpImWrIWRd3qvlzSRCJtGm5Kwb-3C90LA8NhDjNjmTgIUUip9Jzlcq-4UmLKgmVc8rLQlZIrlqf04pyXlS4zdr1Ha7x7-_AEDA2Mln4EzbR02ALZSDbZMODg-wA-wA1HBNcTpA5pAIPUpA1bOmyT3X57zXbn0-N4KSImg60jDManOtL0Se9aKC1Vybn81_sAT11Brw</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Specifying and verifying a decimal representation in Java for smart cards</title><source>Springer Books</source><creator>BREUNESSE, Cees-Bart ; JACOBS, Bart ; VAN DEN BERG, Joachim</creator><creatorcontrib>BREUNESSE, Cees-Bart ; JACOBS, Bart ; VAN DEN BERG, Joachim</creatorcontrib><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540441441</identifier><identifier>ISBN: 9783540441441</identifier><identifier>EISSN: 1611-3349</identifier><language>eng</language><publisher>Berlin: Springer</publisher><subject>Applied sciences ; Artificial intelligence ; Computer science; control theory; systems ; Exact sciences and technology ; Language theory and syntactical analysis ; Problem solving, game playing ; Theoretical computing</subject><ispartof>Lecture notes in computer science, 2002, p.304-318</ispartof><rights>2003 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>309,310,777,781,786,787,4036,4037</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=14934200$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>BREUNESSE, Cees-Bart</creatorcontrib><creatorcontrib>JACOBS, Bart</creatorcontrib><creatorcontrib>VAN DEN BERG, Joachim</creatorcontrib><title>Specifying and verifying a decimal representation in Java for smart cards</title><title>Lecture notes in computer science</title><subject>Applied sciences</subject><subject>Artificial intelligence</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Language theory and syntactical analysis</subject><subject>Problem solving, game playing</subject><subject>Theoretical computing</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540441441</isbn><isbn>9783540441441</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2002</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNqNjMsKwjAURIMPsFX_4W5cFpImWrIWRd3qvlzSRCJtGm5Kwb-3C90LA8NhDjNjmTgIUUip9Jzlcq-4UmLKgmVc8rLQlZIrlqf04pyXlS4zdr1Ha7x7-_AEDA2Mln4EzbR02ALZSDbZMODg-wA-wA1HBNcTpA5pAIPUpA1bOmyT3X57zXbn0-N4KSImg60jDManOtL0Se9aKC1Vybn81_sAT11Brw</recordid><startdate>2002</startdate><enddate>2002</enddate><creator>BREUNESSE, Cees-Bart</creator><creator>JACOBS, Bart</creator><creator>VAN DEN BERG, Joachim</creator><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2002</creationdate><title>Specifying and verifying a decimal representation in Java for smart cards</title><author>BREUNESSE, Cees-Bart ; JACOBS, Bart ; VAN DEN BERG, Joachim</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-pascalfrancis_primary_149342003</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2002</creationdate><topic>Applied sciences</topic><topic>Artificial intelligence</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Language theory and syntactical analysis</topic><topic>Problem solving, game playing</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>BREUNESSE, Cees-Bart</creatorcontrib><creatorcontrib>JACOBS, Bart</creatorcontrib><creatorcontrib>VAN DEN BERG, Joachim</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>BREUNESSE, Cees-Bart</au><au>JACOBS, Bart</au><au>VAN DEN BERG, Joachim</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Specifying and verifying a decimal representation in Java for smart cards</atitle><btitle>Lecture notes in computer science</btitle><date>2002</date><risdate>2002</risdate><spage>304</spage><epage>318</epage><pages>304-318</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540441441</isbn><isbn>9783540441441</isbn><cop>Berlin</cop><pub>Springer</pub></addata></record>
fulltext	fulltext
identifier	ISSN: 0302-9743
ispartof	Lecture notes in computer science, 2002, p.304-318
issn	0302-9743 1611-3349
language	eng
recordid	cdi_pascalfrancis_primary_14934200
source	Springer Books
subjects	Applied sciences Artificial intelligence Computer science control theory systems Exact sciences and technology Language theory and syntactical analysis Problem solving, game playing Theoretical computing
title	Specifying and verifying a decimal representation in Java for smart cards
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T14%3A16%3A08IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Specifying%20and%20verifying%20a%20decimal%20representation%20in%20Java%20for%20smart%20cards&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=BREUNESSE,%20Cees-Bart&rft.date=2002&rft.spage=304&rft.epage=318&rft.pages=304-318&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540441441&rft.isbn_list=9783540441441&rft_id=info:doi/&rft_dat=%3Cpascalfrancis%3E14934200%3C/pascalfrancis%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true