Skip to content
Welcome to our store
Home
Catalog
Contact
Log in
Country/region
United States | USD $
Search
Afghanistan
USD $
Albania
USD $
Algeria
USD $
Angola
USD $
Anguilla
USD $
Antigua & Barbuda
USD $
Argentina
USD $
Armenia
USD $
Aruba
USD $
Australia
USD $
Azerbaijan
USD $
Bahamas
USD $
Bahrain
USD $
Bangladesh
USD $
Barbados
USD $
Benin
USD $
Bhutan
USD $
Bolivia
USD $
Bosnia & Herzegovina
USD $
Botswana
USD $
Brazil
USD $
British Virgin Islands
USD $
Burkina Faso
USD $
Burundi
USD $
Cambodia
USD $
Cameroon
USD $
Canada
USD $
Cape Verde
USD $
Cayman Islands
USD $
Chad
USD $
Chile
USD $
Colombia
USD $
Comoros
USD $
Congo - Brazzaville
USD $
Congo - Kinshasa
USD $
Costa Rica
USD $
Côte d’Ivoire
USD $
Curaçao
USD $
Djibouti
USD $
Dominica
USD $
Dominican Republic
USD $
Ecuador
USD $
Egypt
USD $
El Salvador
USD $
Eswatini
USD $
Ethiopia
USD $
Fiji
USD $
Gabon
USD $
Gambia
USD $
Georgia
USD $
Ghana
USD $
Gibraltar
USD $
Grenada
USD $
Guatemala
USD $
Guinea
USD $
Guinea-Bissau
USD $
Guyana
USD $
Haiti
USD $
Honduras
USD $
Hong Kong SAR
USD $
Iceland
USD $
India
USD $
Indonesia
USD $
Iraq
USD $
Israel
USD $
Jamaica
USD $
Japan
USD $
Jordan
USD $
Kazakhstan
USD $
Kenya
USD $
Kuwait
USD $
Kyrgyzstan
USD $
Lebanon
USD $
Lesotho
USD $
Liberia
USD $
Liechtenstein
USD $
Macao SAR
USD $
Madagascar
USD $
Malawi
USD $
Malaysia
USD $
Mali
USD $
Mauritania
USD $
Mexico
USD $
Moldova
USD $
Monaco
USD $
Montenegro
USD $
Montserrat
USD $
Morocco
USD $
Mozambique
USD $
Namibia
USD $
Nepal
USD $
New Caledonia
USD $
New Zealand
USD $
Nicaragua
USD $
Niger
USD $
Nigeria
USD $
North Macedonia
USD $
Oman
USD $
Pakistan
USD $
Palestinian Territories
USD $
Panama
USD $
Paraguay
USD $
Peru
USD $
Philippines
USD $
Qatar
USD $
Rwanda
USD $
Samoa
USD $
San Marino
USD $
Saudi Arabia
USD $
Senegal
USD $
Serbia
USD $
Seychelles
USD $
Sierra Leone
USD $
Singapore
USD $
Sint Maarten
USD $
South Africa
USD $
South Korea
USD $
Sri Lanka
USD $
St. Kitts & Nevis
USD $
St. Lucia
USD $
St. Vincent & Grenadines
USD $
Suriname
USD $
Svalbard & Jan Mayen
USD $
Switzerland
USD $
Taiwan
USD $
Tanzania
USD $
Thailand
USD $
Timor-Leste
USD $
Togo
USD $
Trinidad & Tobago
USD $
Tristan da Cunha
USD $
Tunisia
USD $
Türkiye
USD $
Turks & Caicos Islands
USD $
Uganda
USD $
United States
USD $
Vatican City
USD $
Venezuela
USD $
Vietnam
USD $
Zambia
USD $
Zimbabwe
USD $
Barnes & Noble (DEV)
Home
Catalog
Contact
Country/region
United States | USD $
Search
Afghanistan
USD $
Albania
USD $
Algeria
USD $
Angola
USD $
Anguilla
USD $
Antigua & Barbuda
USD $
Argentina
USD $
Armenia
USD $
Aruba
USD $
Australia
USD $
Azerbaijan
USD $
Bahamas
USD $
Bahrain
USD $
Bangladesh
USD $
Barbados
USD $
Benin
USD $
Bhutan
USD $
Bolivia
USD $
Bosnia & Herzegovina
USD $
Botswana
USD $
Brazil
USD $
British Virgin Islands
USD $
Burkina Faso
USD $
Burundi
USD $
Cambodia
USD $
Cameroon
USD $
Canada
USD $
Cape Verde
USD $
Cayman Islands
USD $
Chad
USD $
Chile
USD $
Colombia
USD $
Comoros
USD $
Congo - Brazzaville
USD $
Congo - Kinshasa
USD $
Costa Rica
USD $
Côte d’Ivoire
USD $
Curaçao
USD $
Djibouti
USD $
Dominica
USD $
Dominican Republic
USD $
Ecuador
USD $
Egypt
USD $
El Salvador
USD $
Eswatini
USD $
Ethiopia
USD $
Fiji
USD $
Gabon
USD $
Gambia
USD $
Georgia
USD $
Ghana
USD $
Gibraltar
USD $
Grenada
USD $
Guatemala
USD $
Guinea
USD $
Guinea-Bissau
USD $
Guyana
USD $
Haiti
USD $
Honduras
USD $
Hong Kong SAR
USD $
Iceland
USD $
India
USD $
Indonesia
USD $
Iraq
USD $
Israel
USD $
Jamaica
USD $
Japan
USD $
Jordan
USD $
Kazakhstan
USD $
Kenya
USD $
Kuwait
USD $
Kyrgyzstan
USD $
Lebanon
USD $
Lesotho
USD $
Liberia
USD $
Liechtenstein
USD $
Macao SAR
USD $
Madagascar
USD $
Malawi
USD $
Malaysia
USD $
Mali
USD $
Mauritania
USD $
Mexico
USD $
Moldova
USD $
Monaco
USD $
Montenegro
USD $
Montserrat
USD $
Morocco
USD $
Mozambique
USD $
Namibia
USD $
Nepal
USD $
New Caledonia
USD $
New Zealand
USD $
Nicaragua
USD $
Niger
USD $
Nigeria
USD $
North Macedonia
USD $
Oman
USD $
Pakistan
USD $
Palestinian Territories
USD $
Panama
USD $
Paraguay
USD $
Peru
USD $
Philippines
USD $
Qatar
USD $
Rwanda
USD $
Samoa
USD $
San Marino
USD $
Saudi Arabia
USD $
Senegal
USD $
Serbia
USD $
Seychelles
USD $
Sierra Leone
USD $
Singapore
USD $
Sint Maarten
USD $
South Africa
USD $
South Korea
USD $
Sri Lanka
USD $
St. Kitts & Nevis
USD $
St. Lucia
USD $
St. Vincent & Grenadines
USD $
Suriname
USD $
Svalbard & Jan Mayen
USD $
Switzerland
USD $
Taiwan
USD $
Tanzania
USD $
Thailand
USD $
Timor-Leste
USD $
Togo
USD $
Trinidad & Tobago
USD $
Tristan da Cunha
USD $
Tunisia
USD $
Türkiye
USD $
Turks & Caicos Islands
USD $
Uganda
USD $
United States
USD $
Vatican City
USD $
Venezuela
USD $
Vietnam
USD $
Zambia
USD $
Zimbabwe
USD $
Search
Log in
Cart
Item added to your cart
View cart
Check out
Continue shopping
Skip to product information
Open media 1 in modal
1
/
of
1
Springer New York
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
Regular price
$149.00 USD
Regular price
Sale price
$149.00 USD
Sale
Sold out
Shipping
calculated at checkout.
Quantity
Quantity
(
0
in cart)
Decrease quantity for Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
Increase quantity for Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
Sold out
Couldn't load pickup availability
Refresh
Share
Share
Link
Close share
Copy link
View full details
Choosing a selection results in a full page refresh.
Opens in a new window.
