B Symbols

Saved in:
Bibliographic Details
Published inConcrete Semantics
Main Authors Klein, Gerwin, Nipkow, Tobias
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2014
Subjects
Computer programming / software development
Mathematical theory of computation
Programming & scripting languages: general
Online AccessGet full text
ISBN3319105418
9783319105413

Cover

Author Nipkow, Tobias
Klein, Gerwin
Author_xml – sequence: 1
  fullname: Klein, Gerwin
– sequence: 1
  fullname: Nipkow, Tobias
BookMark eNqNjstKxEAQRVt8YGacf_AHAlVdVd2ppQ4-BgZcOPuQTjqIxnRMx4V_r6AwW1eHuziXszJnYxrjiVkRoSIIW3d6HFhdmELBeiAle2k2Ob8CADJUYKUwxe3189d7SEO-Mud9M-S4-ePaHO7vDtvHcv_0sNve7MtJAUu0ShAFPDtmL31LUTrkzgeBEFyIVdezSmhQ2Vqy2jI5BO-h_wnqlNaGf2-nOX18xrzUMaT01sZxmZuhfWmmJc65doTsK6wtQG0V_6uJVE7gqH0DWXtMhw
ContentType Book Chapter
DBID FFUUA
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3319105426
9783319105420
ExternalDocumentID EBC6314781_200_291
EBC5586501_200_291
GroupedDBID 0D6
0DA
38.
A0U
A3-
AABBV
AAPCR
ABFTD
ABMNI
ACKEY
ACTXJ
AEJLV
AEKFX
AETDV
AEZAY
AHJUR
ALMA_UNASSIGNED_HOLDINGS
ANZUN
AZZ
BBABE
BZAQK
CZZ
FFUUA
I4C
IEZ
SBO
TPJZQ
Z83
Z88
ID FETCH-LOGICAL-p901-12930e507464475fc3e5d14d7b50bb6be8df495ba19422329c43610770f191d93
ISBN 3319105418
9783319105413
IngestDate Thu May 29 00:01:08 EDT 2025
Thu May 29 16:00:03 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCallNum QA75.5-76.95
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p901-12930e507464475fc3e5d14d7b50bb6be8df495ba19422329c43610770f191d93
OCLC 902703932
PQID EBC5586501_200_291
ParticipantIDs proquest_ebookcentralchapters_6314781_200_291
proquest_ebookcentralchapters_5586501_200_291
PublicationCentury 2000
PublicationDate 2014
PublicationDateYYYYMMDD 2014-01-01
PublicationDate_xml – year: 2014
  text: 2014
PublicationDecade 2010
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
PublicationSubtitle With Isabelle/HOL
PublicationTitle Concrete Semantics
PublicationYear 2014
Publisher Springer International Publishing AG
Publisher_xml – name: Springer International Publishing AG
SSID ssj0001408025
Score 1.4307972
SourceID proquest
SourceType Publisher
SubjectTerms Computer programming / software development
Mathematical theory of computation
Programming & scripting languages: general
Title B Symbols
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5586501&ppg=291
http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6314781&ppg=291
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELagDCAG3uKtDGzIyGnsxB3bqrQqj4WAulV1bEuINimQDvDrOTcOaQISKosVWZZj-_z4fOfvDqEL7kbEk5RjrTyCAd8SzCXTWIy47wVEczp39nx37_ceaX_ABmUPwbNUXEWfv_JK_iNVyAO5GpbsEpL9rhQy4BvkCylIGNIK-C2rWTO_AkkMiC9VsNwnMDwLr9ZvxjaCZVcZ_76F6WH6kllywkQ821dBOZHl8uFjIpJxSQvg0ooWINcCVvSIC6qsZrd0c_Rg6QG0ohkRtOyHup7Fz6r4oe602oxxAHSuCV05NIWmr9iE7zJmbhvLZBWtBgFsNGvNTv_2qVB2UUPpZYZbk_-XZ96Pinb8OAznJ3y4jTYN68MxdAxozg5aUfEu2spjXjh2C9xD6y3HjtQ-Cq87YbuHbTgJPAXQgw2wIYqZ-CrGyaGOPMWkS2UgGBHCF4pLDbdFMXIbFDBTvRFRD7BlABMWmigb3gGqxUmsDpHDSRTAuS5JpAKqpRCUSEIEQEGudX2kjxDOuzKc27ztQ9so68P7sDKQf5b3PddQgvPyx0vWf4I2ijlzimrp20ydAZZKxbmV1BdrFh9Q
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Concrete+Semantics&rft.au=Klein%2C+Gerwin&rft.au=Nipkow%2C+Tobias&rft.atitle=B+Symbols&rft.date=2014-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783319105413&rft.externalDBID=291&rft.externalDocID=EBC5586501_200_291
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5586501-l.jpg
http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6314781-l.jpg