日韩精品 中文字幕 动漫,91亚洲午夜一区,在线不卡日本v一区v二区丶,久久九九国产精品自在现拍





		



注冊  |  登錄讀書好，好讀書，讀好書！






        
讀書網(wǎng)-DuShu.com

        
         
                
      	
                
                	
                    
                    
                

                
            
        

        

               

				
				
				
       
        




















	當(dāng)前位置： 首頁出版圖書科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)軟件與程序設(shè)計(jì)形式語義學(xué)基礎(chǔ)與形式說明

	



    
    

    
形式語義學(xué)基礎(chǔ)與形式說明

    

	
形式語義學(xué)基礎(chǔ)與形式說明
	
	

	

	

	
定　價(jià)：￥28.70

	

			
					

						作　者：
						屈延文編著
					

					

						出版社：
						科學(xué)出版社
					

					

						叢編項(xiàng)：
						
					

					

						標(biāo)　簽：
						形式語言 語義學(xué)
					

				
	
	

    
	

	

			
					

						ISBN：
						9787030006066
						出版時(shí)間：
						1989-12-01	
                        包裝：
											
					
					
					
					
						開本：
						20cm
						頁數(shù)：
						681頁
						字?jǐn)?shù)：
						 
					
					
				

        

   

    
    
    
	
	
	
	
內(nèi)容簡介

	

	
　　全書共分十章。介紹了指稱語義學(xué)、代數(shù)語義學(xué)等，并介紹了發(fā)展程序設(shè)計(jì)語各流派的語義模型和新一代計(jì)算機(jī)的計(jì)算模型的理論問題。
	
	
	
   
	
	
	
作者簡介

	

	
暫缺《形式語義學(xué)基礎(chǔ)與形式說明》作者簡介
	
	
	
	
	
	
圖書目錄

	

	
暫缺《形式語義學(xué)基礎(chǔ)與形式說明》目錄
	
	

	

    
       
    
	
	

   

   

   

    
   

   
本目錄推薦







掃描二維碼










    

        

            
        

        
Copyright ? 讀書網(wǎng) rgspecialties.com 2005-2020, All Rights Reserved.

        
鄂ICP備15019699號(hào)  鄂公網(wǎng)安備 42010302001612號(hào)