Logic, Language, and Security Image close
Logic, Language, and Security
Logic, Language, and Security
Show Hide Adult Content
Logic, Language, and Security close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer science  
Mathematical theory of computation

Logic, Language, and Security

Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$172.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $43.00 with Afterpay Learn more

6 weekly interest-free payments of $28.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 24 Jul - 5 Aug using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Critical Information Infrastructures Security
$170.00
Critical Information Infrastructures Security
Paperback / softback
Pre-order - out 29 Jul 2024
Pattern Recognition and Machine Intelligence
$554.00
Pattern Recognition and Machine Intelligence
Paperback / softback
Pre-order - out 11 Aug 2024
Ubiquitous Networking
$146.00
Ubiquitous Networking
Paperback / softback
Pre-order - out 16 Jul 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$196.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 31 Jul 2024
Computer Architecture
$148.00
Computer Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Intelligent Systems
$170.00
Foundations of Intelligent Systems
Paperback / softback
Pre-order - out 26 Jul 2024
Ubiquitous Networking
$188.00
Ubiquitous Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Database Systems for Advanced Applications
$314.00
Database Systems for Advanced Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Cybersecurity of Digital Service Chains
$137.00
Cybersecurity of Digital Service Chains
Paperback / softback
Available - Usually ships in 3-4 weeks
Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Vision – ECCV 2022
$314.00
Computer Vision – ECCV 2022
Paperback / softback
Available - Usually ships in 3-4 weeks
Chatbot Research and Design
$188.00
Chatbot Research and Design
Paperback / softback
Available - Usually ships in 3-4 weeks
Model and Data Engineering
$150.00
Model and Data Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Collaboration Technologies and Social Computing
$175.00
Collaboration Technologies and Social Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Enterprise Design, Operations, and Computing
$150.00
Enterprise Design, Operations, and Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Trends in Functional Programming
$150.00
Trends in Functional Programming
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov. The chapter “A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems” is available open access under a CC BY 4.0 license at link.springer.com.
Release date NZ
October 29th, 2020
Contributors
  • Edited by Boon Thau Loo
  • Edited by Carolyn Talcott
  • Edited by Joshua Guttman
  • Edited by Mitsuhiro Okada
  • Edited by Stepan Kuznetsov
  • Edited by Tajana Ban Kirigin
  • Edited by Vivek Nigam
Pages
203
Edition
1st ed. 2020
Audience
  • Professional & Vocational
Illustrations
16 Illustrations, color; 276 Illustrations, black and white; X, 203 p. 292 illus., 16 illus. in color.
ISBN-13
9783030620769
Product ID
33919717

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Communications & Networking
Books >
Computers & Internet >
Operating systems
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Artificial intelligence